Optimize to use a single counter to keep track of when to validate

[polytypic]

Validation is triggered whenever counter reaches next power of two which can be detected when previous and new counter values have no bits set in common. This reduces the size of the transaction log record by one word.