Lazy constraints are now supported in the NoRel heuristic. You will receive solution callbacks and be given the opportunity to cut off those solutions with lazy constraints.