chore: cut compile-IR-to-machine + lift-binary crates + unwire evm-bytecode kit

Out-of-scope per the honest-spike census (A: compile ProofIR to a machine target; B:
lift a compiled binary, not library sugar). Deletes 10 crates (ir-compiler-x86-64/wasm/c/
stub/jvm-bytecode + ir-codegen; lift-asm-aarch64/x86-64 + lift-evm-bytecode/jvm-bytecode)
and unwires the evm-bytecode KIT that rode the deleted lifter: KIT_TABLE entry, the
round-trip test, the CI conformance-matrix slot, the prove-evm-bytecode Makefile target,
and the orphan evm/jvm lift manifests. Keeps the ir-compiler parent + the smt-lib/coq/
lean/maude solver backends.

Verification: cargo build --workspace clean; cargo test --workspace --no-run clean (no
dangling refs in any test target). Full `make test-rust` could not complete on this host
(PEP 668 externally-managed pip for build-python; pnpm no-TTY) — env, not this change; CI
is the authoritative runtime gate.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

Author: TSavo

.github/workflows/ci.yml

@@ -468,7 +468,6 @@ jobs:
           - ts
           - csharp
           - clr-bytecode
-          - evm-bytecode
           - java
           - python
           - ruby

Makefile

@@ -105,7 +105,7 @@ help:
 	@echo ""
 	@echo "Per-kit conformance gate (C1-C8 lift-plugin-protocol verifiers):"
 	@echo "  make prove-all      all 12 Linux kits (swift excluded: macOS-only)"
-	@echo "  make prove-rust  prove-go  prove-cpp  prove-ts  prove-csharp  prove-clr-bytecode  prove-evm-bytecode"
+	@echo "  make prove-rust  prove-go  prove-cpp  prove-ts  prove-csharp  prove-clr-bytecode"
 	@echo "  make prove-java  prove-python  prove-ruby  prove-zig  prove-c"
 	@echo "  make prove-swift    macOS-only"
 	@echo ""
@@ -519,11 +519,6 @@ prove-clr-bytecode: build-rust build-csharp
 	@echo ">> proving clr-bytecode lift-plugin-protocol conformance (C1-C8)"
 	$(PROVEKIT) prove --kit=clr-bytecode
 
-.PHONY: prove-evm-bytecode
-prove-evm-bytecode: build-rust
-	@echo ">> proving evm-bytecode lift-plugin-protocol conformance (C1-C8)"
-	$(PROVEKIT) prove --kit=evm-bytecode
-
 # macOS-only: requires Swift toolchain.
 .PHONY: prove-swift
 prove-swift: build-rust-cli build-swift
@@ -559,7 +554,7 @@ prove-c: build-rust build-c build-c-self-contracts
 # Kits without a wired lifter exit 2 (user error); all 12 targets are listed
 # so CI reports which need follow-up. prove-swift runs separately on macos-latest.
 .PHONY: prove-all
-prove-all: prove-rust prove-go prove-cpp prove-ts prove-csharp prove-clr-bytecode prove-evm-bytecode prove-java prove-python prove-ruby prove-zig prove-c
+prove-all: prove-rust prove-go prove-cpp prove-ts prove-csharp prove-clr-bytecode prove-java prove-python prove-ruby prove-zig prove-c
 	@echo ""
 	@echo "==== prove-all: complete ===="