Comparing OpTimes from different terms is fundamentally problematic as they could be from different branches of history. Every time we compare two optimes without checking that they come from the same term is suspicious. We at least need to audit all places where do do optime comparisons, and we should consider removing the optime comparison operators entirely so all places that compare optimes must think about term differences explicitly.