Post-processing lazy evaluation: assert that the evaluated nonce matches the transaction's

[hai-rise]

https://github.com/risechain/pevm/blob/1fe66657fb5ec96663745d60cfd9da2ac18e304a/src/pevm.rs#L259-L296

We can debug_assert_eq! for now, to have a round of converting them to error types later.