[TSan] Fixup for r178128: verify that TSan indeed doesn't report race