Added sequence-of contract.storage checker
Transaction exchange progress
some more
Added storage.check_sequence