tsan: add disabled test case for issue 87