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

newpavlov: > The "story" here is that we read an arbitrary value if the check has not passed, The story cannot depend on a check that has not happened yet. It has to be expressible in Rust code, after all.