Error Mitigation via Verified Phase Estimation