StoreWAL: fix formatting
TxMaker: another improvement on #191
Make locking more stricts, add concurrency assertions. Hope to solve #191