Foundations For Model-Agnostic Recourse Verification