txnid2: fix make ClientThread operation selection deterministic across restarts