remove exception-revert exception-skip priority attribute

Makefile

@@ -48,7 +48,7 @@ else
 endif
 K_BIN := $(K_RELEASE)/bin
 K_LIB := $(K_RELEASE)/lib/kframework
-export K_OPTS ?= -Xmx20G -Xss512m
+export K_OPTS ?= -Xmx12G -Xss512m
 export K_RELEASE
 
 PYTHONPATH := $(K_LIB):$(KWASM_BINARY_PARSER):$(PYTHONPATH)
@@ -127,7 +127,7 @@ wasm-deps:
 # -------------------
 
 HOOK_NAMESPACES    := KRYPTO
-KOMPILE_OPTS       := --hook-namespaces \"$(HOOK_NAMESPACES)\" -I $(CURDIR)
+KOMPILE_OPTS       := --hook-namespaces \"$(HOOK_NAMESPACES)\" -I $(CURDIR) -v
 
 ifneq (,$(K_COVERAGE))
     KOMPILE_OPTS += --coverage

elrond-config.md

@@ -435,12 +435,11 @@ TODO: Implement [reserved keys and read-only runtimes](https://github.com/Elrond
     rule [exception-revert]:
         <commands> (#exception(EC, MSG) ~> #endWasm) => popCallState ~> popWorldState ... </commands>
         <vmOutput> .VMOutput => VMOutput( EC , MSG , .ListBytes , .List) </vmOutput>
-      [priority(10)]
     
     rule [exception-skip]:
         <commands> #exception(_,_) ~> (CMD:InternalCmd => . ) ... </commands>
       requires CMD =/=K #endWasm
-      [priority(10)]
+
 ```
 
 ### `#throwException*`
@@ -662,6 +661,7 @@ Every contract call runs in its own Wasm instance initialized with the contract'
           <instrs> initContractModule(CODE) </instrs>
           ...
         </wasm>)
+
     rule [setContractModIdx]:
         <commands> setContractModIdx => . ... </commands>
         <contractModIdx> _ => NEXTIDX -Int 1 </contractModIdx>