dense_mlpoly.rs: Fix manipulation of evaluation vector Z by bound fun…

…ctions (#283)

* dense_mlpoly.rs: Fix bound functions

They left the Z vector enlarged and that was not working well with evaluate()

* fixup! dense_mlpoly.rs: Fix bound functions

spartan/src/dense_mlpoly.rs

@@ -221,6 +221,7 @@ impl<F: PrimeField> DensePolynomial<F> {
     for i in 0..n {
       self.Z[i] = self.Z[i] + *r * (self.Z[i + n] - self.Z[i]);
     }
+    self.Z.truncate(n); // Resize the vector Z to the new length
     self.num_vars -= 1;
     self.len = n;
   }
@@ -230,6 +231,7 @@ impl<F: PrimeField> DensePolynomial<F> {
     for i in 0..n {
       self.Z[i] = self.Z[2 * i] + *r * (self.Z[2 * i + 1] - self.Z[2 * i]);
     }
+    self.Z.truncate(n); // Resize the vector Z to the new length
     self.num_vars -= 1;
     self.len = n;
   }