Prover: development branch of the limitless prover

[AlexandreBelling]

This PR implements issue(s) #

Checklist

• [ ] I wrote new tests for my new core changes.
• [ ] I have successfully ran tests, style checker and build against my new changes locally.
• [ ] I have informed the team of any breaking changes if there are any.

[codecov-commenter]

Codecov Report

:white_check_mark: All modified and coverable lines are covered by tests. :white_check_mark: Project coverage is 65.59%. Comparing base (49b21e4) to head (ec93b91). :warning: Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff            @@
##               main     #813   +/-   ##
=========================================
  Coverage     65.59%   65.59%           
  Complexity     1403     1403           
=========================================
  Files           361      361           
  Lines         14039    14039           
  Branches       1345     1345           
=========================================
  Hits           9209     9209           
  Misses         4249     4249           
  Partials        581      581           

Flag	Coverage Δ		*Carryforward flag
hardhat	99.27% <ø> (ø)
kotlin	63.10% <ø> (ø)		Carriedforward from e1ff720

*This pull request uses carry forward flags. Click here to find out more.

:rocket: New features to boost your workflow:

• :snowflake: Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• :package: JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.