Resurrecting lookup PR: Fix lookup has_zero_entry bug

[volhovm]

Updating proof-systems to contain this bugfix:

• proof-systems PR: Resurrecting lookup PR: Fix lookup has_zero_entry bug o1-labs/proof-systems#1567

[volhovm]

!ci-build-me

[volhovm]

!ci-build-me

[volhovm]

OK, so it contains a bug that CI doesn't catch! My suspicion is that it's a test with an erroneous setup. Will look into it.

======================================================================
TEST_MODULE at file "src/lib/pickles/wrap.ml", line 541, characters 4-358: lookup threw
(Failure
  "called `Result::unwrap()` on an `Err` value: ConstraintSystem(\"The table with id 0 must have an entry of all zeros\")").
  Raised at Base__Exn.protectx in file "src/exn.ml", line 71, characters 4-114
  Called from Ppx_inline_test_lib__Runtime.Module_context.with_ in file "runtime-lib/runtime.ml", line 165, characters 6-10
  Re-raised at Ppx_inline_test_lib__Runtime.Module_context.with_ in file "runtime-lib/runtime.ml", line 169, characters 6-13
  Called from Ppx_inline_test_lib__Runtime.test_module in file "runtime-lib/runtime.ml", line 527, characters 12-677
  in TEST_MODULE at file "src/lib/pickles/wrap.ml", line 286, characters 0-14270: gate finalization

[volhovm]

!ci-build-me

[volhovm]

I confirm the tests passing locally in addition to the CI.

[volhovm]

!ci-build-me

[volhovm]

!ci-build-me

[volhovm]

!ci-build-me

[dannywillems]

Note: #14637 moves to alcotest and will conflict with this PR.