Boundary constraint validation is missing from IR

Boundary constraint validation is missing from IR: a task in LegoFlow-SWE (Harbor dataset). When an IR contains boundary constraints that violate the allowed semantics, the IR validator currently does not reject them. This means invalid boundary constraints compile successfully, and the generated…