Revert the quick shift fix for public inputs

bberg/src/verifier_builder.rs

@@ -81,11 +81,7 @@ impl VerifierBuilder for BBFiles {
         // TODO(https://github.com/AztecProtocol/aztec-packages/issues/6361): we pad the points to the circuit size in order to get the correct evaluation.
         // This is not efficient, and will not be valid in production.
         std::vector<FF> new_points(circuit_size, 0);
-
-        // We need to shift the points by one to match the public inputs column in the circuit.
-        // Namely, the latter is prepended with an extra first row to support shifted polynomials.
-        ASSERT(circuit_size > points.size());
-        std::copy(points.begin(), points.end(), new_points.data() + 1);
+        std::copy(points.begin(), points.end(), new_points.data());
 
         Polynomial<FF> polynomial(new_points);
         return polynomial.evaluate_mle(challenges);