txnid2: fix bug: at end of benchmark worker threads may hang in shutdown because ratelimit permits are no longer being released