feat(protocol): use SP1 1.2.0-rc with more proof verification tests

[smtmfft]

Update sp1 contract to their latest 1.2.0-rc, and add a test to make future client integration easier.

[openzeppelin-code]

feat(protocol): update sp1 dependency and add proof verify test

Generated at commit: 433eb8de0c17b40916b2a5d34c7ea006e552c15a

🚨 Report Summary

	Severity Level	Results
Contracts	Critical High Medium Low Note Total	2 2 0 8 43 55
Dependencies	Critical High Medium Low Note Total	0 0 0 0 0 0

---

For more details view the full report in OpenZeppelin Code Inspector