Verify errors in Baking.endorsing_rights_by_first_slot_no_internal_errors
Check for the absence of internal errors in https://formal-land.gitlab.io/coq-tezos-of-ocaml/docs/proto_alpha/baking/#endorsing_rights_by_first_slot_no_internal_errors
Edited by Andrey Klaus