StateDiff: build in reverse order

[kpp]

Now we build it from ordered writes from start to end, overwriting previous values with new. But we dont have to do that, instead we can build it in reverse order, ignoring already existing keys in state diff.