In fact, we already rely on `WT_ATOMIC_ADD` being a barrier, so the read can't be reordered after it anyway, so it would be semantically different for the compiler to do two reads.