Remove no_evaluators attrbiute and mark function as total

Author: RaoulSchaffranek

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

@@ -641,7 +641,7 @@ where `1003892871367861763272476045097431689001461395759728643661426852242313133
 ### Function selectors
 
 ```k
-    syntax Bytes ::= selector ( String ) [alias, symbol(abi_selector), function, no-evaluators]
+    syntax Bytes ::= selector ( String ) [alias, symbol(abi_selector), function, total]
  // -----------------------------------------------------------------------------------------
 
    rule ( selector ( SIGNATURE ) ) => #parseByteStack(substrString(Keccak256(String2Bytes(SIGNATURE)), 0, 8))