Ensure transaction state instantiated lazily for all non-mutating operations.