feat: build risc.bin from arithmetisation

[DavePearce]

This updates the arithmetisation/Makefile to produce a binary constraint file for the build target "zkc-compile". The constraint file can be used, for example, to check inputs.

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

Low Risk
Low risk Makefile-only change that adjusts build outputs and bumps a toolchain version; primary risk is CI/build breakage if downstream expects the previous zkc compile behavior.

Overview
zkc-compile now creates arithmetization/bin and writes a named output artifact (riscv.bin) instead of compiling with no output file.

Also bumps the pinned go-corset version from v1.2.15 to v1.2.17.

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

[github-actions]

linea-besu Changelog Preview (informational)

[Unreleased] diff (commits touching linea-besu/** since latest releases/linea-besu/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]

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

[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]

prover Changelog Preview (informational)

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

[unreleased]

🐛 Bug Fixes

• (prover) Update rlp_blocks.bin path in shnarf_calculator tests (fix(prover): update rlp_blocks.bin path in shnarf_calculator tests #3129)

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