Include racy reads in Rust memory model with `MaybeInvalid<T>`

newpavlov:

[citation needed]

That's not how this works. You can't just assume something is sound and expect me to cite a refutation You have to argue why depending on future choices is sound.. The argument I laid out in my blog post crucially depends on the story being expressible as actual Rust code. So if you want to make future-dependent choices, you'll need to develop an entirely different framework for justifying inline assembly blocks. I look forward to your blog post and correctness argument on that subject.