Revamped bump up jsoo and alcotest and dune

[dannywillems]

TL;DR: in draft because of this comment in snarkyjs. On hold atm.

Bumping up js_of_ocaml to 5.4.0, dune to 3.9.2 and alcotest to 1.7.0. Cherry-pick a commit from #13790 for consistency.

Since alcotest.1.5.0, alcotest-js is available.
A better integration of node has been made in dune >= 3.8.0 (I don't remember exactly the version).
And upgrading js_of_ocaml to revive #12978

It will be useful for crypto team to write tests running in JS and in native, see #13537.
If a library has alcotest tests, we can activate "for free" the jsoo tests by adding (modes native js) in the tests definition. For instance, it is activated for base58_check in this commit. It will run automatically a new executable. It is executed in a node environment (dune uses the `node' executable available in the path). If needed, for instance to load wasm first, the node binary can be overwritten with:

(env
 (_
  ; wrapping node
  (binaries
   (%{workspace_root}/test/node_wrapper.exe as node))))

where node_wrapper is an OCaml program.

Related snarkyjs and snarkyjs-bindings PR: o1-labs/o1js#1056 and o1-labs/o1js-bindings#102.

Current state:

• waiting for new CI on develop - git merge when it is done.
• Update new docker images.
• digestif must be updated to 1.1.4, see https://github.com/mirage/digestif/releases/tag/v1.1.4. Updating implies a change in pickles/ro.ml
• Change ledger from a class to an object. Failing tests on node because maybe top level evaluation.

 finished build
Running basic integration tests
/workspace_root/src/lib/snarkyjs/src/bindings/ocaml/overrides.js:34
    if (err instanceof Error) throw err;
                              ^


TypeError: Cannot read properties of undefined (reading 'apply')
    at Function.Class.<computed> (/home/runner/work/snarkyjs/snarkyjs/src/bindings/js/proxy.js:20:52)
    at Module.LocalBlockchain (/home/runner/work/snarkyjs/snarkyjs/src/lib/mina.ts:385:25)
    at file:///home/runner/work/snarkyjs/snarkyjs/src/examples/zkapps/hello_world/run.tmp.js:96:18

• base58 not iterable
• https://github.com/o1-labs/snarkyjs/actions/runs/5712998808/job/15477548408?pr=1056. Unknown yet. Blocked.
• Base58 undefined in base58.unit-test.ts in snarkyjs. Fixed by changing from string to bytes. Let's be careful about that!
• src/lib/base58_check: js alcotest tests do not work. Fixed by using digestif.ocaml
• Update this comment to point to the correct jsoo version.

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

[dannywillems]

!ci-build-me

[dannywillems]

!ci-bulid-me

[dannywillems]

!ci-build-me

[dannywillems]

!ci-build-me

[dannywillems]

!ci-build-me

[dannywillems]

!ci-build-me

[dannywillems]

!ci-build-me

[mrmr1993]

Closing as stale. This PR is referenced in #14829, so that it can be used as a starting point if / when work resumes on this.