Track lookup values in interpreter and proof

[mrmr1993]

This PR builds upon #2943. This propagates the values involved with lookups as witness columns for the prover.

This is a cleaned-up alternative to #2946.

[codecov]

Codecov Report

Attention: Patch coverage is 67.01031% with 32 lines in your changes missing coverage. Please review.

Project coverage is 76.61%. Comparing base (bef4b0c) to head (3ebeaf4).
Report is 11 commits behind head on master.

Files with missing lines	Patch %	Lines
o1vm/src/pickles/main.rs	0.00%	18 Missing ⚠️
o1vm/src/pickles/prover.rs	82.75%	5 Missing ⚠️
o1vm/src/pickles/verifier.rs	54.54%	5 Missing ⚠️
o1vm/src/pickles/column_env.rs	50.00%	3 Missing ⚠️
o1vm/src/pickles/proof.rs	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2951      +/-   ##
==========================================
- Coverage   76.62%   76.61%   -0.02%     
==========================================
  Files         255      255              
  Lines       60923    61014      +91     
==========================================
+ Hits        46684    46747      +63     
- Misses      14239    14267      +28     

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