use one helper thread per TM thread to perform Tx validation;
sandbox TLSTM for inconsistent reads, only SIGSEGV detected atm