feat: implement P256Verify glue

[ivokub]

This implements P256Verify glue. It is currently a separate package from ECDATA to avoid integration issues when merging ECDATA to small-fields implementation. After merging small-fields, I think it would make sense to move this package there as on arithmetization side it is handled in ECDATA as well.

Depends on #915 which fixed some update issues when updating gnark.

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.

---

Note

Introduces a new P-256 verify prover module and wires it into zkEVM settings, compilation, serialization, and proving flow with tests and test vectors.

• P256 Verify Module:
  • Adds prover/zkevm/prover/p256verify with circuit, limits, module, input filler, and tests.
  • Includes test data generator and CSV vectors in prover/zkevm/prover/p256verify/testdata.
• Integration:
  • Registers p256verify.MultiP256VerifyInstanceCircuit in prover/protocol/serialization/implementation_registry.go.
  • Extends zkevm.Settings with P256Verify limits and sets NbInputPerInstanceP256Verify = 6 in prover/zkevm/full.go.
  • Wires module into ZkEvm (prover/zkevm/zkevm.go): construction, struct field, and assignment in prover step.

^{Written by Cursor Bugbot for commit 20af8d8. This will update automatically on new commits. Configure here.}

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 65.50%. Comparing base (343757f) to head (20af8d8).

Additional details and impacted files

@@               Coverage Diff                @@
##             feat/bls-glue    #1739   +/-   ##
================================================
  Coverage            65.50%   65.50%           
  Complexity            1476     1476           
================================================
  Files                  382      382           
  Lines                14519    14519           
  Branches              1439     1439           
================================================
  Hits                  9510     9510           
  Misses                4409     4409           
  Partials               600      600           

Flag	Coverage Δ		*Carryforward flag
hardhat	96.20% <ø> (ø)
kotlin	63.16% <ø> (ø)		Carriedforward from 798d22c

*This pull request uses carry forward flags. Click here to find out more.
see 4 files with indirect coverage changes

🚀 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.

[ivokub]

The PR is ready to review - but as it is based on BLS glue PR, then the review will we dismissed if the other one will be merged, so we can review it later.

It also depends on a gnark non-master branch (until the corresponding implementation on gnark side is merged). We need to update the gnark dependency to master before merging to avoid dangling commits.