Add missing assert. Re-enable cuts for all aggrs

Author: Opt-Mucca

highs/mip/HighsCutGeneration.cpp

@@ -575,6 +575,7 @@ bool HighsCutGeneration::separateLiftedFlowCover() {
       break;
     }
   }
+  assert(ld.m[ld.t] == ld.mp);
   ld.t++;
 
   auto getAlphaBeta = [&](double vubcoef) {

highs/mip/HighsPathSeparator.cpp

@@ -351,7 +351,7 @@ void HighsPathSeparator::separateLpSolution(HighsLpRelaxation& lpRelaxation,
         // generate cut
         double rhs = 0;
         success = cutGen.generateCut(transLp, baseRowInds, baseRowVals, rhs,
-                                     false, currPathLen == 1);
+                                     false, true);
 
         lpAggregator.getCurrentAggregation(baseRowInds, baseRowVals, true);
         if (!aggregatedPath.empty() || bestOutArcCol != -1 ||
@@ -361,7 +361,7 @@ void HighsPathSeparator::separateLpSolution(HighsLpRelaxation& lpRelaxation,
         // generate reverse cut
         rhs = 0;
         success |= cutGen.generateCut(transLp, baseRowInds, baseRowVals, rhs,
-                                      false, currPathLen == 1);
+                                      false, true);
 
         if (success || (bestOutArcCol == -1 && bestInArcCol == -1)) break;