I don't think that would ever happen in practice, but we could make this a `WT_ORDERED_READ` to make it impossible, if you'd prefer that?