Function validate_table_check_constraints 

pub fn validate_table_check_constraints(
    table_name: &str,
    compiled: &[(String, SharedProgram)],
    row: &Row,
    vm: &mut ExprVM,
) -> Result<()>

Evaluate table-level CHECK programs against a complete post-change row.