[develop] Replace joo_global_object by globalThis

[dannywillems]

Explain your changes:

• I noticed joo_global_object is used when I was going through the code. joo_global_object is deprecated, replace by globalThis. See https://github.com/ocsigen/js_of_ocaml/blob/master/CHANGES.md?plain=1#L159. I think it is good to replace it as it seems a pretty old deprecation. The warning is not activated in jsoo, but it has been there for more than 2 years and a half. It doesn't seem to be critical. However, globalThis will be used in a following PR adding JS tests in dune, see Share tests between js/wasm and native backends #13537
• Depends on [develop] Replace joo_global_object by globalThis o1-labs/o1js-bindings#106 and [develop] Replace joo_global_object by globalThis o1-labs/o1js#1059.
• The bump up of snarkyjs is based on develop. It adds some changes not merged in develop previously.
• The replacement has been done through a search with git grep --recurse-submodules "joo_global_object" ":(exclude)src/lib/snarkyjs/src/bindings/compiled" at the root of the repo.

Explain how you tested your changes:

• Rely on CI.

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
• 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)
• Serialized types are in stable-versioned modules
• Does this close issues? List them

• Closes #0000

[dannywillems]

!ci-build-me

[dannywillems]

!ci-build-me