FC validate_inclusion_lists

[gfukushima]

PR Description

This PR add the implementation of validate_inclusion_lists to fork choice. Although it's not being used yet, this is rather a useful to check to have and to perform up on block import.

Fixed Issue(s)

Fixes #9097

Documentation

• I thought about documentation and added the doc-change-required label to this PR if updates are required.

Changelog

• I thought about adding a changelog entry, and added one if I deemed necessary.

[mehdi-aouadi]

Yes this check will be performed when we import a block on slot N+1. We check that the ILs we've collected from the p2p network are included in the new block's execution payload.
From EIP-7805 attester section:

Attesters
Slot N+1, t=4s: Attesters monitor the P2P network for the proposer’s block. Upon detecting it, they verify whether all transactions from their stored ILs are included in the proposer’s execution payload, except for ILs whose sender has equivocated. Based on their frozen view of the ILs from t=9s in the previous slot, attesters check if the execution payload satisfies IL conditions. This is done either by confirming that all transactions are present or by determining if any missing transactions are invalid when appended to the end of the payload. In such cases, attesters use the EL to perform nonce and balance checks to validate the missing transactions and check whether there is enough space in the block to include the transaction(s).

[mehdi-aouadi]

LGTM
I guess we can merge it for now ans keep an eye on the spec since we'd need to check if any missing transaction is invalid by calling the EL but it's not clear yet how we will do that.