tsan: add a test for __tsan_default_options()