Add tests for TxLoc.