Update Tezos dependency to Florence 9.7

Merged Pierre-Emmanuel Wulfman requested to merge update_to_tezos_9.7 into dev

Also update other dependencies.

Opam to 2.1 Coq to 8.13.2

Update vendored test-helper to Florence

  • has a changelog entry
Edited by Pierre-Emmanuel Wulfman