explicit dependencies in transition frontier

[ylecornec]

This PR sets (implicit_transitive_deps false) in src/lib/transition_frontier/dune-project, adds the necessary explicit dependencies to the dune files and remove some unnecessary ones.

Explain how you tested your changes:

• dune build src/lib/transition_frontier
• make build
• The CI.

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
  • 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