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

Ah, you are right – LLVM allows nonatomic reads to race with nonatomic writes too (again producing an undefined value).