feat: make degree check into a degree bound check

feat: make degree check into a degree bound check

feat: make degree check into a degree bound check

feat: make degree check into a degree bound check

prover/src/constraints/evaluation_table.rs

@@ -210,12 +210,14 @@ impl<'a, E: FieldElement> ConstraintEvaluationTable<'a, E> {
             max_degree = core::cmp::max(max_degree, degree);
         }
 
-        //// make sure expected and actual degrees are equal
-        //assert_eq!(
-            //self.expected_transition_degrees, actual_degrees,
-            //"transition constraint degrees didn't match\nexpected: {:>3?}\nactual:   {:>3?}",
-            //self.expected_transition_degrees, actual_degrees
-        //);
+        // make sure the actual degrees are less than or equal to the expected degree bounds
+        assert!(
+            self.expected_transition_degrees >= actual_degrees,
+            "transition constraint degrees do not satisfy the expected degree bounds
+             \nexpected degree bounds: {:>3?}\nactual degrees:   {:>3?}",
+            self.expected_transition_degrees,
+            actual_degrees
+        );
 
         // make sure evaluation domain size does not exceed the size required by max degree
         let expected_domain_size =