interpret: remove MemoryExtra in favor of giving access to the Machine#95620

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:memory-no-extrasRalfJung/rust:memory-no-extrasCopy head branch name to clipboard