Mate Soos @ Argot

## Description Add minimal failing test

**Describe the bug** The README does not explain how I can send some money to say thanks to devs :) I'd love to get a beer for the team. Maybe...

```shell $ go install github.com/Arachnid/evmdis/evmdis go: 'go install' requires a version when current directory is not in a module Try 'go install github.com/Arachnid/evmdis/evmdis@latest' to install the latest version ``` It...

[DRAFT] No more isabelle ABI checking ossfuzz binary

1

Please do not review. Just a bit of try how to disable the Isabelle ABI encoder-based check in OSSfuzz. This can segfault during the Isabelle bit, and give us noise.

Missing INVALID opcode?

4

### What feature should we add? I believe INVALID is missing from: https://github.com/ethereum/py-evm/blob/main/eth/vm/opcode_values.py as per EIP: https://eips.ethereum.org/EIPS/eip-141 as emitted by Solidity.

Spurious CEx for both Halmos and hevm

4

**Describe the bug** This code: ``` import {Test} from "forge-std/Test.sol"; contract MyContract is Test { mapping (uint => uint) balances; function setUp() public { balances[0xfaaaaaffafafafafaaaaa472134] = 50; } function prove_keccak_wrong(uint...