Update snarkyjs by merging main into develop

[dannywillems]

As discussed with @mitschabaude, merging snarkyjs main into develop as new changes that must go into develop need to be built on top of changes in main.

Explain your changes:

• Merge snarkyjs-bindings main into develop
• Merge snarkyjs main into develop and use snarkyjs-bindings new develop branch.

Depends on o1-labs/o1js#1008 and o1-labs/o1js-bindings#61.

Explain how you tested your changes:

• CI should pass

Checklist:

• N/A Dependency versions are unchanged
  • Notify Velocity team if dependencies must change in CI
• N/A Modified the current draft of release notes with details on what is completed or incomplete within this project
• N/A Document code purpose, how to use it
  • Mention expected invariants, implicit constraints
• N/A Tests were added for the new behavior
  • Document test purpose, significance of failures
  • Test names should reflect their purpose
• All tests pass (CI will check this if you didn't)
• N/A Serialized types are in stable-versioned modules
• N/A Does this close issues? List them

• Closes #0000

[dannywillems]

!ci-build-me

[dannywillems]

!ci-build-me

[dannywillems]

!ci-build-me

[dannywillems]

Old, closing.