feat(l1): enhance el assertoor ci test by cherrypicking more checks

[rodrigo-o]

Motivation

This PR tries to add as much test as possible to our assertoor CI run.

Description

The idea is to add every check that is useful for validating the el execution without incurring in long running times to avoid making the CI slower. Right now every useful check from the supported is added except for:

• ✅ check_consensus_finality | time: ~10m
• ✅ check_consensus_attestation_stats | time: ~10m

Apart from checks, we are not using most of the generate_* tasks due to timing or errors:

• ✅ run_transaction_test | time: ~10m
• ✅ run_blob_transaction_test | time: ~6m
• ❎ run_opcodes_transaction_test | time: ~5m (We have issues processing some of the transactions)

For the already available assertor playbooks, see here.

The run_blob_transaction_test is the only one added until now from transaction checks and the total test take nearly 15m (which is less than the largest hive test in the CI).

Closes #953

[mpaulucci]

Are all blocks proposed by our execution client empty blocks (i.e no transactions)?

[rodrigo-o]

Are all blocks proposed by our execution client empty blocks (i.e no transactions)?

In most of the test, yes, our blocks are empty. But, due to the addition of the run_blob_transaction_tests during that execution our blocks have blobs (the test generates transactions for all clients instead of spamming one and expecting P2P to be in place). Unfortunately the run_transaction_tests which adds legacy and dfyne transactions and checks it's addition makes the job to last past the longest run (19m), but it worked, I already tested it!

[mpaulucci]

But if our blocks have blobs, they have a associated transaction too, right?

[rodrigo-o]

But if our blocks have blobs, they have a associated transaction too, right?

Yes, exactly. But just to be clear that happens only while that specific test is running, for most of the rest of the run our blocks are empty.

[mpaulucci]

Ok, but at least we have one test with transactions proposed by us!

[rodrigo-o]

Ok, but at least we have one test with transactions proposed by us!

Yes! and here is a proof of that: