Add a rule removing init code size limit checks

[palinatolmach]

Follow up to #897.

This PR adds a rule that removes a code size limit check on the initialization bytecode during deployment by overriding the original one.

Otherwise, if the contract getting deployed is sufficiently big, this rule kicks in:

    rule [create-invalid]:
         <k> CREATE _ _ _ => #end EVMC_OUT_OF_GAS ... </k> [owise]

reporting an EVMC_OUT_OF_GAS error, even though we aren't checking

The check that the code getting deployed is not passing is this one:

rule #hasValidInitCode(INITCODELEN, SCHED) => notBool Ghasmaxinitcodesize << SCHED >> orBool INITCODELEN <=Int maxInitCodeSize < SCHED >

and, for Shanghai (and Cancun), the code limit for the initialization bytecode it's twice the runtime code size limit:

rule maxInitCodeSize   < SHANGHAI > => 2 *Int maxCodeSize < SHANGHAI >