Prover/Global Constraint Boundary Cancellation Explainer

[arijitdutta67]

This PR adds some explanatory comments on the boundary cancellation of the global constraints and fixes a small typo in an error message.

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 70.47%. Comparing base (3805acb) to head (aaef087).

Additional details and impacted files

@@             Coverage Diff              @@
##               main     #335      +/-   ##
============================================
+ Coverage     68.22%   70.47%   +2.25%     
+ Complexity     1128     1063      -65     
============================================
  Files           319      303      -16     
  Lines         12795    12171     -624     
  Branches       1277     1163     -114     
============================================
- Hits           8729     8578     -151     
+ Misses         3540     3109     -431     
+ Partials        526      484      -42     

Flag	Coverage Δ		*Carryforward flag
hardhat	98.70% <ø> (ø)
kotlin	68.15% <ø> (+2.31%)	⬆️	Carriedforward from 1143b60

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

see 58 files with indirect coverage changes