The reachability problem for branching vector addition systems requires doubly-exponential space