Compute the necessarry inversions of the witness in batch after it's creation

[marcbeunardeau88]

Follow-up of #2047
but we proceed differently.
The witness env now contains a set marking which element are to be inverted.
The Batch inversion is then done when creating the ProofInput.
We first create an intermediary type NotInversedProofInput, and implement a conversion to ProofInput which does the batch inversion

[codecov]

Codecov Report

Attention: Patch coverage is 15.58442% with 65 lines in your changes missing coverage. Please review.

Project coverage is 72.60%. Comparing base (9130939) to head (5a76ff8).
Report is 48 commits behind head on master.

Files with missing lines	Patch %	Lines
o1vm/src/pickles/proof.rs	0.00%	38 Missing ⚠️
o1vm/src/pickles/main.rs	0.00%	15 Missing ⚠️
o1vm/src/interpreters/mips/witness.rs	42.85%	12 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2760      +/-   ##
==========================================
- Coverage   73.71%   72.60%   -1.11%     
==========================================
  Files         249      255       +6     
  Lines       57866    59474    +1608     
==========================================
+ Hits        42654    43184     +530     
- Misses      15212    16290    +1078     

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

---

🚨 Try these New Features:

• Flaky Tests Detection - Detect and resolve failed and flaky tests
• JS Bundle Analysis - Avoid shipping oversized bundles