IV-Posterior: Inverse Value Estimation for Interpretable Policy Certificates