ci: Add Solidity compatibility check

[samuelburnham]

Solidity-verifier compatibility

• Checks Solidity compatibility on every PR commit using the templating engine from IPA Solidity unit-test generator #341
• Fails immediately if the Rust test or overall workflow causes an error
• Comments on the PR if the Solidity test fails
• Opens an issue in https://github.com/lurk-lab/solidity-verifier if a failing commit is merged

This surfaces issues early and lets authors/reviewers decide how to address breaking changes, solving the CI portion of #337.

Note

An earlier version of this PR did not recommend making this workflow a required status check due to an incorrect design. The current version only errors when the Rust or basic workflow steps fail, which they never should. This would be properly caught by making the workflow a required status check.

Successful runs shown in below comment and issue

[github-actions]

solidity-verifier compatibility test failed ❌

https://github.com/lurk-lab/arecibo/actions/runs/8258730613

[huitseeker]

This looks great!

[storojs72]

Discussed issues with @samuelburnham in DM.

The CI compatibility job needs to be modified - so that it runs compatibility tests in Rust (only for IPA currently), dynamically generates unit tests for Solidity, copies those tests into fetched solidity-verifier directory and finally runs them. Rust <-> Solidity Incompatibility over particular building block can be detected by failure of dynamically generated (by Rust) and executed (in Solidity) unit-test

[github-actions]

solidity-verifier compatibility test failed ❌

https://github.com/lurk-lab/arecibo/actions/runs/8276598558

[github-actions]

solidity-verifier compatibility test failed ❌

https://github.com/lurk-lab/arecibo/actions/runs/8276746932

[github-actions]

solidity-verifier compatibility test failed ❌

https://github.com/lurk-lab/arecibo/actions/runs/8276856657

[storojs72]

LGTM

[github-actions]

solidity-verifier compatibility test failed ❌

https://github.com/lurk-lab/arecibo/actions/runs/8285228645

[github-actions]

solidity-verifier compatibility test failed ❌

https://github.com/lurk-lab/arecibo/actions/runs/8285320649

[storojs72]

Excellent! Thanks