Prover: constraints beta v2.1-rc4

[gusiri]

This PR

• bump constraints to beta v2.1-rc4

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

All modified and coverable lines are covered by tests ✅

Project coverage is 67.86%. Comparing base (03ef382) to head (4644cfa).

Additional details and impacted files

@@            Coverage Diff            @@
##               main     #764   +/-   ##
=========================================
  Coverage     67.86%   67.86%           
  Complexity     1206     1206           
=========================================
  Files           326      326           
  Lines         13412    13412           
  Branches       1355     1355           
=========================================
  Hits           9102     9102           
  Misses         3750     3750           
  Partials        560      560           

Flag	Coverage Δ		*Carryforward flag
hardhat	98.53% <ø> (ø)
kotlin	65.51% <ø> (ø)		Carriedforward from 03ef382

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

🚀 New features to boost your workflow:

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