license fix.
Refactor & clean-up TxManager and TxLog

Also be more strict about making these classes synchronized.