Prediction without Preclusion: Recourse Verification with Reachable Sets