Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization