EVM: interrupt execution before reaching max nb of ticks

Context

Contributes to #5873 (closed)

Follows !9202 (merged)

This MR introduce a breakpoint in the block proposal processing, to stop the computation before the maximum number of ticks is reached. It also inserts the transactions of a proposal in the BlockInProgress. They are poped during the block computation, so that if it needs to be interrupted, the BlockInProgress contains everything needed to restart the computation.

The tick model is very crude, and not totally safe. A better one, accounting for instance for the initialisation of the kernel is coming.

Next: !9313 (merged)

Manually testing the MR

Some tests were added in the kernel.

cargo -C src/kernel_evm test

Checklist

• Select suitable reviewers using the Reviewers field below.
• Select as Assignee the next person who should take action on that MR