fix: add binary constraints for accumulators first lines

[ivokub]

This PR fixes LA audit report Issue I.

In the ECPair module we have a column indicating if the current limb is the first line of the current or previous accumulator. As this is natively a boolean condition then we need to enforce it as a constraint to ensure the soundness in case of malicious prover.

Depends on #172. That one needs to be merged first and then the base branch of this one update to main.

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.38%. Comparing base (9763bf2) to head (b330294).

Additional details and impacted files

@@            Coverage Diff            @@
##               main     #173   +/-   ##
=========================================
  Coverage     70.38%   70.38%           
  Complexity     1040     1040           
=========================================
  Files           282      282           
  Lines         11314    11314           
  Branches       1030     1030           
=========================================
  Hits           7963     7963           
  Misses         2880     2880           
  Partials        471      471           

Flag	Coverage Δ		*Carryforward flag
hardhat	98.70% <ø> (ø)
kotlin	67.86% <ø> (ø)		Carriedforward from 9763bf2

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

The base branch was changed.