fix(test): Remove false assertion when counting nodes

The number of constants do not have to match the number of requested
constants in the arbitrary implementation because of constant folding.
So when an expression is formed from two constants, it results in a new
constant (as it should) and not a BinOp expression.

triton-constraint-circuit/src/lib.rs

@@ -1834,11 +1834,6 @@ mod tests {
         );
 
         prop_assert_eq!(10, ConstraintCircuitMonad::num_inputs(&multicircuit_monad));
-        prop_assert_eq!(
-            10,
-            ConstraintCircuitMonad::num_bfield_constants(&multicircuit_monad)
-                + ConstraintCircuitMonad::num_xfield_constants(&multicircuit_monad)
-        );
     }
 
     /// Test the completeness and soundness of the `apply_substitution` function,