The Covering and Boundedness Problems for Branching Vector Addition Systems