o1vm/pickles: Remove linearization and add quotient polynomial evaluations

[Fizzixnerd]

To Reviewer: I didn't add the quotient polynomial to the OpeningProof. Not sure if it's needed, but will if it is.

[codecov]

Codecov Report

Attention: Patch coverage is 16.66667% with 10 lines in your changes missing coverage. Please review.

Project coverage is 72.55%. Comparing base (0e68ddc) to head (9f649e1).
Report is 22 commits behind head on master.

Files with missing lines	Patch %	Lines
o1vm/src/pickles/prover.rs	0.00%	10 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2692      +/-   ##
==========================================
+ Coverage   72.53%   72.55%   +0.01%     
==========================================
  Files         246      246              
  Lines       58191    58224      +33     
==========================================
+ Hits        42209    42242      +33     
  Misses      15982    15982              

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

[Fizzixnerd]

I ended up adding it after talking with @marcbeunardeau88 on Slack.