tsan: 2 more deadlock detector benchmarks