add some comments and some cleanup around Miri intptrcast#116650

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:miri-intptrcastRalfJung/rust:miri-intptrcastCopy head branch name to clipboard