支持 `not valid` 检查约束子句。

嘿,`不合法`约束子可以创建只对未来数据(插入或更新)的正确性进行强制验证的检查约束,从而安全地回填列,然后验证约束(不会阻止读/写),并且使用`设置为非空`可以减少锁定,因为约束现在已经有效。