Toward Certifiable Motion Planning for Medical Steerable Needles