Added sequence-of contract.storage checker
Transaction exchange progress