fix(prover): populate CongloVK and VKMerkleRoot in invalidity limitle…

[gusiri]

The limitless invalidity builder was not extracting verification key data from congWIOP.ExtraData, leaving CongloVK and VKMerkleRoot as zero-valued constants in the compiled constraint system. At prove time, the actual VK values from the conglomeration proof failed the assertIsEqual check against these zero constants.

Extract VK octuplets from ExtraData (matching the execution limitless builder pattern) and pass vkMerkleRoot through from setup.

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.
• If this change is deployed to any environment (including Devnet), E2E test coverage exists or is included in this
  PR.
• I have informed the team of any breaking changes if there are any.

---

Note

Medium Risk
Touches proof-critical wiring for the limitless invalidity circuit by changing how verifying-key data is injected into the compiled constraint system; a mismatch can break proving/verification but the change is small and localized.

Overview
Fixes the limitless invalidity circuit compilation to embed the correct verifying-key inputs instead of zero-valued constants.

invalidity.NewBuilderLimitless now accepts and threads a vkMerkleRoot, and Compile() extracts the two conglomeration VK octuplets from congWIOP.ExtraData (via distributed keys) to populate ExecutionCtx.CongloVK and ExecutionCtx.VKMerkleRoot. The setup command is updated to load (or derive) the VK Merkle root from execution-limitless assets and pass it into the invalidity limitless builder.

^{Reviewed by Cursor Bugbot for commit 82765cb. Bugbot is set up for automated code reviews on this repo. Configure here.}

[github-actions]

coordinator Changelog Preview (informational)

[Unreleased] diff (commits touching coordinator/** since latest releases/coordinator/v* tag)

[unreleased]

_{Generated by git-cliff-action using cliff.toml. This comment is informational and does not gate the PR.}

[github-actions]

postman Changelog Preview (informational)

[Unreleased] diff (commits touching postman/** since latest releases/postman/v* tag)

[unreleased]

_{Generated by git-cliff-action using cliff.toml. This comment is informational and does not gate the PR.}

[github-actions]

prover Changelog Preview (informational)

[Unreleased] diff (commits touching prover/** since latest releases/prover/v* tag)

[unreleased]

🐛 Bug Fixes

• (prover) Remove global overwrite in FullZKEVMWithSuite (fix(prover): remove global overwrite in FullZKEVMWithSuite  #3114)
• (prover) Populate CongloVK and VKMerkleRoot in invalidity limitless circuit

_{Generated by git-cliff-action using cliff.toml. This comment is informational and does not gate the PR.}

[github-actions]

tx-exclusion-api Changelog Preview (informational)

[Unreleased] diff (commits touching tx-exclusion-api/** since latest releases/tx-exclusion-api/v* tag)

[unreleased]

_{Generated by git-cliff-action using cliff.toml. This comment is informational and does not gate the PR.}