Proto: Plug ADAL refutation games verification in Sc_rollup_proof

This MR is supposed to implement the missing piece to fully connect DAL refutation proofs verification to Sc_rollup proofs (verification).

Once the verify_proof made its checks related to DAL, it now returns the value of attestation_threshold_percent and of the validated DAL slot publisher (assuming the proof is for confirming that a slot is attested). These fields are then checked against the input_request of the corresponding kernel: We check that:

• the kernel is requesting a:

          | Needs_reveal
              (Request_adal_page
                {
                  page_id = pid;
                  attestation_threshold_percent = kernel_threshold;
                  restricted_commitments_publishers = kernel_whitelist;
                }) ->

• attestation_threshold_percent = Some kernel_threshold
• if publisher = Some p and kernel_whitelist = Some wlist, then p \in wlist