miri engine: turn error sanity checks into assertions#69880

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

RalfJung:miri-assert-error-sanityRalfJung/rust:miri-assert-error-sanityCopy head branch name to clipboard