DEADLOCK BUG!
replaced hash-table with ad-hoc tx-hash-table specialized for tvar keys
fixed DEADLOCK, it was a silly off-by-one typo
performance tuning in (commit)
updated benchmark and README.md
optimization: implemented TXHASH-TABLE, a faster HASH-TABLE replacement for TVARS
updated benchmark.md and README.md