Tezt/Rollups: Easy refutation tests framework for DAL pages reveal

What

• Extend the rollups refutation test framework in tezt to support DAL.
• Extend the rollup loser mode to corrupt/flip DAL pages (reveal_dal_page), with a syntax to target desired pages or slots.
• Add a mini kernel that requests DAL pages of slot index 0 at published level 10
• Add a refutation test for unattested DAL page import, where the loser imports some data. (will be done in a follow-up MR)

Why

Validate that the honest node wins when the opponent imports data for an unattested DAL page.

The next step is to use the framework for attested slots and for migration tests (at least manually)

How

See the code, commit by commit

How to test (Done in a follow-up MR)

Run:

_build/default/tezt/tests/main.exe --verbose --file tezt/tests/sc_rollup.ml --title "Alpha: wasm_2_0_0 - refutation games winning strategies (unattested_dal_page_import)"

Negative checks (should fail if modified):

Replace in the test

~loser_modes:["reveal_dal_page * * * flip"]

with

~loser_modes:[""]

or

~loser_modes:["reveal_dal_page 11 * * flip"]