Provably-Safe, Real-time Planning & Control For Bipedal Robots Using Reachability-Based Trajectory Design