[ZkTracer] Test TX_SKIP and TX_INIT wrt EIP-7702

[OlivierBBB]

Description

This issue mirrors the testing issue for CALLs. We need to test TX_SKIP and TX_INIT for set codet ransactions in all possible configurations of the following addresses:

• sender
• recipient (delegated: yes / no)
• delegate (or recipient)
• coinbase

Furthermore, we need to do this with associated state changes to any configuration of these addresses. Zero or One delegations / resettings per account. The address configurations are

• recipient isn't delegated:
  • all configurations are already tested and we just need to test them using set code transactions updating any possible configuration of the existing addresses
• recipient is delegated
  • 4 distinct addresses
  • 3 distinct addresses: 6 configurations
  • 2 distinct addresses: 4 + 3 configurations
  • 1 distinct address: 1 configuration

Motivation

The reason for this is that the TX_SKIP and TX_INIT sections are forced to simulate these state changes ahead of Besu enacting them. This simulation has to be tested to see if we do it properly