viable/strict/1786513711: Lower symbolic bool not to torch.sym_not (#186043)

PyTorch 修复了一个与符号布尔取反相关的 bug。在 Dynamo 字节码追踪中，Python 的 not 操作符被转换为 operator.not_，对于符号布尔值，这会导致在 fake evaluation 时通过 example hint 强制 SymBool，使得 torch._check(not expr) 可能被常量折叠，从而丢失符号断言，后续使用 expr 时触发数据依赖 guard 错误。修复方案是将符号布尔取反 lower 为 torch.sym_not，保留符号表达式，确保 torch._check 正确安装断言。非布尔符号值仍使用 operator.not_。对于非严格导出路径，由于直接执行用户 Python，not 会先到达 SymBool.__bool__，因此添加了错误提示，建议用户使用 torch.sym_not() 或等效比较。此修复解决了 issue #143157，并包含相关测试。

此修复揭示了 PyTorch 符号执行中一个微妙的语义问题：Python 的 not 操作符在符号布尔值上的语义与 torch.sym_not 不同。Dynamo 将 not 映射为 operator.not_，但 fake evaluation 会强制使用 example hint，导致符号断言被常量折叠。通过将符号布尔取反 lower 为 torch.sym_not，保留了符号表达式，确保 torch._check 能正确安装断言。这提示在符号追踪中，操作符的 lowering 必须考虑符号语义，避免因 fake evaluation 的强制具体化而丢失约束。对于非严格导出，由于直接执行 Python，not 会触发 SymBool.__bool__，因此需要用户显式使用 torch.sym_not。