Restore validator compatibility exports

Author: Hughshine

driver/CPolOpt.v

@@ -10,6 +10,8 @@ Module CoreOpt := PolOpt CPolIRs.
 
 Definition opt : CPolIRs.Loop.t -> imp CPolIRs.Loop.t := CoreOpt.Opt.
 
+Definition validate := CoreOpt.ValidatorCore.validate.
+
 Definition opt_poly (pol : CPolIRs.PolyLang.t) : imp CPolIRs.Loop.t :=
   CoreOpt.phase_opt_prepared_from_poly (CoreOpt.Strengthen.strengthen_pprog pol).
 

driver/TPolOpt.v

@@ -12,6 +12,8 @@ Module Tiling := TilingRelation TPolIRs.Instr.
 
 Definition opt : TPolIRs.Loop.t -> imp TPolIRs.Loop.t := CoreOpt.Opt.
 
+Definition validate := CoreOpt.ValidatorCore.validate.
+
 Definition opt_poly (pol : TPolIRs.PolyLang.t) : imp TPolIRs.Loop.t :=
   CoreOpt.phase_opt_prepared_from_poly (CoreOpt.Strengthen.strengthen_pprog pol).