o1vm/lookup: prover takes cm wires as arg

[marcbeunardeau88]

the lookup prover does not commit to the lookup state, as it is already done in the first loop, while doing the main proofs

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 18 lines in your changes missing coverage. Please review.

Project coverage is 75.91%. Comparing base (c45956b) to head (67c114d).

Files with missing lines	Patch %	Lines
o1vm/src/pickles/lookup_prover.rs	0.00%	14 Missing ⚠️
o1vm/src/pickles/main.rs	0.00%	4 Missing ⚠️

Additional details and impacted files

@@                 Coverage Diff                  @@
##           marc/lookup-main    #3054      +/-   ##
====================================================
- Coverage             75.93%   75.91%   -0.02%     
====================================================
  Files                   265      265              
  Lines                 62726    62740      +14     
====================================================
+ Hits                  47629    47630       +1     
- Misses                15097    15110      +13     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.