Consolidate execution mechanism between mempool simulation and block production

[rpanic]

Main feature that isn't consolidated yet is checking re-execution of hooks in case of changes in the input state.

As an example - if the nonce 4 comes before 3, it will get skipped. But as soon as a tx with nonce 3 has been included, we can reexecute nonce 4.

This is already implemented in the privatemempool, but not yet in the block production. We should consolidate that logic and use by both the mempool and block production. Preferrably after the just-in-time mechanism in #330