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

Ah I found it, it was just a bit hidden: Repairing Sequential Consistency in C/C++11. The "full paper with appendix" has the proofs.