将 `LogicalNot::negate()` 替换为 `Constraint` 上的专用否定方法

#6685 重构了逆向断言如何生成失败消息文本。每个第一方约束现在都通过现有的 `toStringInContext()` / `failureDescriptionInContext()` 钩子自行生成其否定描述，而 `LogicalNot::negate()` 仅保留为第三方约束的文档回退。此问题跟踪了可能的清理工作，需要一个主要版本。