Uniformly Bounded Multiplicities in the Branching Problem and D-modules