Added more tx_check debug messages. (#31)