Adds coverage for nil transactions and withdrawals and blocks with correct block hash but a transaction or withdrawal root that doesn't match the body.
Removes the generation of body tests from the script as the generated scripts were a useful start, but ultimately ineffective at testing the code.