chore(pevm): Post-processing lazy evaluation: assert that the evaluated nonce matches the transaction's

chore(pevm): Post-processing lazy evaluation: assert that the evaluated nonce matches the transaction's #956