[Draft] Update SMT-based ISLE verifier

.github/workflows/main.yml

@@ -523,7 +523,7 @@ jobs:
           --exclude wasmtime-wasi-tls \
           --exclude wasmtime-fuzzing \
           --exclude wasm-spec-interpreter \
-          --exclude veri_engine \
+          --exclude cranelift-isle-veri \
           --exclude calculator \
           --exclude wasi-preview1-component-adapter
 

.gitignore

@@ -25,7 +25,6 @@ examples/.cache
 crates/c-api/build
 *.coredump
 *.smt2
-cranelift/isle/veri/veri_engine/test_output
 crates/explorer/node_modules
 *.cwasm
 /artifacts