Verify errors in Main.finalize_block
Check for the absence of internal errors in https://formal-land.gitlab.io/coq-tezos-of-ocaml/docs/proto_alpha/main/#finalize_block
Check for the absence of internal errors in https://formal-land.gitlab.io/coq-tezos-of-ocaml/docs/proto_alpha/main/#finalize_block