feat: add production semaphore v4 zk artifacts

[vplasencia]

Description

This PR adds the new production zk artifacts after the Binary Merkle Root Trusted setup ceremony: https://ceremony.pse.dev/projects/Semaphore%20Binary%20Merkle%20Root%20Fix

Related Issue(s)

Re #999

Checklist

• I have performed a self-review of my code
• I have commented my code, particularly in hard-to-understand areas
• My changes generate no new warnings
• I have run yarn format and yarn lint without getting any errors
• I have added tests that prove my fix is effective or that my feature works
• New and existing unit tests pass locally with my changes

Important

We do not accept pull requests for minor grammatical fixes (e.g., correcting typos, rewording sentences) or for fixing broken links, unless they significantly improve clarity or functionality. These contributions, while appreciated, are not a priority for merging. If you notice any of these issues, please create a GitHub Issue to report them so they can be properly tracked and addressed.

[openzeppelin-code]

feat: add production semaphore v4 zk artifacts

Generated at commit: 08286273cb1fb7f46362043a6ad17a83d8f33b32

🚨 Report Summary

	Severity Level	Results
Contracts	Critical High Medium Low Note Total	0 0 0 5 15 20
Dependencies	Critical High Medium Low Note Total	0 0 0 0 0 0

---

For more details view the full report in OpenZeppelin Code Inspector

[JohnGuilding]

Great to get this in 🚀