Add GitHub Actions workflow to run all proof scripts

[Copilot]

105 proof scripts in proof/ had no automated runner — they could silently break with no CI signal.

Changes

• .github/workflows/proof.yml — new workflow that:
  • Triggers on push/PR when proof/** changes, plus workflow_dispatch
  • Sets up Java 25 + JBang, then loops over every proof/**/*.java in sorted order
  • Tracks per-script pass/fail, prints ✅/❌ inline, and exits non-zero if any script fails with a summary of failures

Original prompt

---

This section details on the original issue you should resolve

<issue_title>[Feature] Automate proof script</issue_title>
<issue_description>### Describe the feature

We now have proof but we don't have a way to run all of them to verify all of them work.

Why would this be useful?

No response

Alternatives considered

No response</issue_description>

Comments on the Issue (you are @copilot in this section)

• Fixes [Feature] Automate proof script #112

---

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.