kevm prove + test harness: Haskell-backend logging flags, per-claim filtering, booster-only-simplify - #2857

kevm prove + test harness: Haskell-backend logging flags, per-claim filtering, booster-only-simplify#2857

ehildenb merged 12 commits into

masterruntimeverification/evm-semantics:masterfrom

test-logging-updatesruntimeverification/evm-semantics:test-logging-updatesCopy head branch name to clipboard