hevm-0.24: Ethereum virtual machine evaluator