Avoid instantiating DiffSets when checking containment in TxState
Renaming methods in TxState to be more in line with Kernel naming scheme
Instantiate *statesMaps in TxState lazily