When we check that our mirrorable reads have been observed here, we check strict equality on all read operations. We should probably check expected <= current in case system operations overincrement our count.