tsan: support up to 1<<20 mutexes in standalone deadlock detector