fix: remove verifier

Feature is not maintained and needs rework.
See #20

src/HyVM.huff

@@ -2,7 +2,6 @@
 
 /// @title HyVM
 /// @notice Run arbitrary code on the EVM
-/// @dev This version uses the "no-verifier" abstraction, but "contract-verifier" can be used.
 
 #include "./Pointer.huff"
 #include "./Jump-table.huff"

src/abstracts/no-verifier.huff

@@ -1,7 +1,8 @@
 // SPDX-License-Identifier: Unlicence
 
-/// @title No Verifier 
+/// @title No Verifier.
 /// @notice Abstract contract for the HyVM without call/store verifications
+///         checks could be implemented at the discretion of the developper.
 
 /// @dev jump table will be located at 0x20, after the execution pointer
 #define constant HOST_MEMORY_START = 0x340

test/HyVM/Opcodes.t.sol

@@ -22,11 +22,6 @@ contract OpcodesTest is Test {
         console.log(Utils.iToHex(abi.encodePacked(bytes(str).length)));
     }
 
-    // just a test that shows what to write in HyVM.huff to console.log something.
-    function testGenerate() public view {
-        logStr("no call verifier set");
-    }
-
     // =================== TESTS ==============
 
     function testPushReturnMstore() public {

test/utils/Utils.sol

@@ -105,14 +105,4 @@ library Utils {
         }
         return (false, 0);
     }
-
-    function setVerifierBytecode(address hyvm, address verifier) public pure returns (bytes memory bytecode) {
-        // bytecode generated by:  easm test/verifiers/set-verifier
-        //  => replace the dummy contract by our verifier
-        bytecode = replace(
-            hex"7312312312312312312312312312312312312312317f58a8a9223af434080477cd2d1a2667aba3ce9f1301007611a4d07a0af708e65a55",
-            0x1231231231231231231231231231231231231231,
-            verifier
-        );
-    }
 }