Really great write-up. That's some serious dedication to bug fixing!
I have also tried to use thread sanitizer in the past and had to give up because various TBB primitives aren't supported by it. I am very happy I only do multithreading in Rust these days!