Reduce memory leak by 20-25% in looping proofs

[Fizzixnerd]

Explain your changes:

• Updates proof-systems submodule to 9f416dd2d7 to include memory-safe
  Lagrange commitment functions that prevent memory leaks during proof
  generation

Explain how you tested your changes:

• Verified the new functions are available in the bindings
• Ran o1js test suite to ensure compatibility
• Tested memory usage patterns with recursive proof generation
• See Memory Leak 20-25% fix o1-labs/o1js#2262 for details

Checklist:

• Dependency versions are unchanged
  • Notify Velocity team if dependencies must change in CI
• Modified the current draft of release notes with details on what is completed or incomplete within this project
• 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