Verifiable Learned Behaviors via Motion Primitive Composition: Applications to Scooping of Granular Media