[ZkTracer] Test transactions where delegations swap the recipient from executable to non executable and vice-versa

[OlivierBBB]

Description

The processing of a delegation list may make a transaction that initially would have been of the TX_SKIP variety actually be of the TX_INIT variety or vice-versa. This follows from the fact that processing of the delegation list reveals the true value of TX_REQUIRES_EVM_EXECUTION. We need to test this.

Executable to non-executable

Write tests with type 4 transactions where

• the recipient account was initially delegated to a SMC
• the delegation list either
  • resets this delegation
  • re-delegates to an account that isn't executable

Non-executable to executable

• the recipient account was initially non executable i.e.
  • either has empty code
  • or delegated to an account that has empty code or is itself delegated
• the delegation list makes the account executable (i.e. delegates it to a SMC)

We need to test the validity of TX_REQUIRES_EVM_EXECUTION.