Add ENABLE_TSEN cmake option for thread-sanitizing