Fix minor switching error, change interrupt behavior in TXN

Also, add more debugging prints toggled with #define CPUS_DEBUG to test
interleaving.