Draft: Carbonate game refutation

Context

This MR carbonates proof refutation steps. This includes the carbonation of many functions, namely:

• check_message_proof
• Skip_list.valid_pack_path
• hash_skip_list_cell
• verify_inclusion_proof
• check_inclusions
• of_serialized_proof
• equal_history_proof
• checking proof start and stop
• check_dissection
• find_choice
• proof validation
• refutation game move validation
• the example arith rollup

This MR also includes a fix for an operation of wrong complexity in the skip list implementation.

Fixes #2926 (closed)

Manually testing the MR

• Re-run snoop benchmarks (see commit messages for instructions).
• Validate complexity analysis.

Checklist

• Document the interface of any function added or modified (see the coding guidelines)
• Document any change to the user interface, including configuration parameters (see node configuration)
• Provide automatic testing (see the testing guide).
• For new features and bug fixes, add an item in the appropriate changelog (docs/protocols/alpha.rst for the protocol and the environment, CHANGES.rst at the root of the repository for everything else).
• Select suitable reviewers using the Reviewers field below.
• Select as Assignee the next person who should [take action on that MR](https://tezos.gitlab.io/developer/contributing.html#merge-request-assignees-field