[SPIKE] instantiate TxState lazily

o Not possible right now due to interaction with legacy state