interpret: add a version of run_for_validation for &self#139211

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:interpret-run-for-validationRalfJung/rust:interpret-run-for-validationCopy head branch name to clipboard