✅ All reviewers have approved.

The commit ecad749 (as a parent of 4c8e46e) contains errors.
Please inspect the Run Summary for details.

For parallelization would be better if read and write are distinguished (if in write list doesn't need to be in read list as SSTORE both reads and writes)

This is as multiple txs that only read can happen at same time; is only ones that write that enforce a specific ordering of tx order

For parallelization would be better if read and write are distinguished (if in write list doesn't need to be in read list as SSTORE both reads and writes)

This is already done by having an optional second value for the tuple of values. If there is only one, it's a read. This is early design though and not something I've spent much time further optimizing for practical and worst case use.

For parallelization would be better if read and write are distinguished (if in write list doesn't need to be in read list as SSTORE both reads and writes)

This is already done by having an optional second value for the tuple of values. If there is only one, it's a read. This is early design though and not something I've spent much time further optimizing for practical and worst case use.

Ah ok, I didn't pick that up

Great, incorporated all the feedback - thanks everyone!

Would be great to have it merged now. It's ready for a first draft.