Use explicit dependencies in dune files

[ylecornec]

This PR propagates the changes about explicit dependencies made in the develop branch to compatible(the OCaml direct dependencies are now written explicitly in dune files and some unnecessary ones were removed), and takes into account the few different libraries between the branches (the biggest one being the use of the kimchi backend).

These changes to develop were made in the following PRs: #10331 (the main one), #10439, #10436, #10444, #10455 and #10466.

Checklist:

• 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
• Tests were added for the new behavior.
• All tests pass (CI will check this if you didn't)
• Serialized types are in stable-versioned modules
• This closes: Merge changes about using explicit dependencies in dune files to compatible #10637