Wiring the o1VM Proof struct into the Mina OCaml codebase.

[shimkiv]

Closes #2546

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 1 line in your changes missing coverage. Please review.

Project coverage is 73.67%. Comparing base (fd0e8b8) to head (037f06e).
Report is 1 commits behind head on master.

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

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #2749   +/-   ##
=======================================
  Coverage   73.67%   73.67%           
=======================================
  Files         248      248           
  Lines       57745    57746    +1     
=======================================
+ Hits        42542    42545    +3     
+ Misses      15203    15201    -2     

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