StateDiff: collect consecutive state_diffs

[kpp]

Now on testnet we have proof sampling, which means we prove only 1/N batches. Because of that we have:

[ ] [ ] [ ] [ ] [ proof ] [ ] [ ] [ ] [ ] [ ] [ proof ] ...

Because of that there is no way to test stateful diffs using testnet data.

What we need is to launch a new network, set proof_sampling_number=1, upload several contracts, simulate user interaction and collect proofs(thus state_diffs).

The result of this issue: a list of consecutive state_diffs and possibly a final storage state.

[eyusufatik]

this is going to be solved on testnet by #1477