more clarification on disabled UndefinedBehaviorSanitizer checks (nw)