We would like to integrate these tests into `make check`. * https://github.com/ethereum/tests * https://github.com/ethereum/execution-spec-tests