interpret/validity: separately control checking numbers for being init and non-ptr#97185

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

RalfJung:number-validityRalfJung/rust:number-validityCopy head branch name to clipboard