sss evm: add explicit #checkCodeDeposit step for CREATE

Author: Everett Hildenbrandt

evm.md

@@ -1579,12 +1579,6 @@ For each `CALL*` operation, we make a corresponding call to `#call` and a state-
          </k>
          <schedule> SCHED </schedule>
          <output> OUT => .WordStack </output>
-      requires #sizeWordStack(OUT) <=Int maxCodeSize < SCHED >
-
-    rule <k> #mkCodeDeposit ACCT => #popCallStack ~> #popWorldState ~> 0 ~> #push ... </k>
-         <schedule> SCHED </schedule>
-         <output> OUT => .WordStack </output>
-      requires #sizeWordStack(OUT) >Int maxCodeSize < SCHED >
 
     rule <k> #finishCodeDeposit ACCT OUT
           => #popCallStack ~> #dropWorldState