Provably-Correct And Efficient Motion Planning For Hybrid Dynamical Systems