Almost everywhere that compares Timestamps should probably be comparing OpTimes instead. Even when it's technically correct to compare timestamps, so long as it's also correct to compare optimes and doing so won't break conversions between pv0 and pv1, we should always default to comparing optimes so that every place that compares Timestamps is viewed as suspicious.