Miri: better document and fix dynamic const pattern soundness checks#71655

bors merged 6 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:const-pattern-soundnessRalfJung/rust:const-pattern-soundnessCopy head branch name to clipboard