A Python framework and collection of test cases to generate test vectors for Ethereum execution clients