kevm-pyk/evm: use function, not macro, for stack under/over-flow

Author: ehildenb

kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md

@@ -377,9 +377,9 @@ The `#next [_]` operator initiates execution by:
 -   `#stackDelta` is the delta the stack will have after the opcode executes.
 
 ```k
-    syntax Bool ::= #stackUnderflow ( WordStack , OpCode ) [symbol(#stackUnderflow), macro]
-                  | #stackOverflow  ( WordStack , OpCode ) [symbol(#stackOverflow), macro]
- // --------------------------------------------------------------------------------------
+    syntax Bool ::= #stackUnderflow ( WordStack , OpCode ) [symbol(#stackUnderflow), function, total]
+                  | #stackOverflow  ( WordStack , OpCode ) [symbol(#stackOverflow), function, total]
+ // ------------------------------------------------------------------------------------------------
     rule #stackUnderflow(                                                 _WS , _POP:PushOp      ) => false
     rule #stackUnderflow(                                                 _WS , _IOP:InvalidOp   ) => false
     rule #stackUnderflow(                                                 _WS , _NOP:NullStackOp ) => false