(gentest): MUST NOT modify pre-state in tests

[raxhvl]

We should NOT modify pre-state in the tests

This seems quite unusual to me. Ideally, the pre-state tracer should provide the state for all accounts prior to the transaction's execution.

execution-spec-tests/src/cli/gentest/test_providers.py

Lines 50 to 52 in cfbfea9

	if address == self.transaction.sender:
	state_str += f"{pad}nonce={self.transaction.nonce},\n"
	else:

While the sender's nonce does get updated, that's just one of several side effects resulting from the transaction. Changing the state within the test interferes with the EVM - a big red flag 🟥 . We shouldn't be updating the state ourselves; that's the EVM's responsibility. The test should focus solely on comparing the state transition against the specification.

Originally posted in #901 (comment)