Add set tx counter and fix balances for summaries (#1707)

* Add transaction plugins for summary search strategy

* Add set tx counter and fix balances for summaries

* Reformat

mythril/laser/ethereum/state/world_state.py

@@ -31,7 +31,7 @@ class WorldState:
         """
         self._accounts = {}  # type: Dict[int, Account]
         self.balances = Array("balance", 256, 256)
-        self.starting_balances = copy(self.balances)
+        self.starting_balances = deepcopy(self.balances)
         self.constraints = constraints or Constraints()
 
         self.node = None  # type: Optional['Node']

mythril/laser/ethereum/transaction/transaction_models.py

@@ -29,6 +29,9 @@ class TxIdManager(object, metaclass=Singleton):
     def restart_counter(self):
         self._next_transaction_id = 0
 
+    def set_counter(self, tx_id):
+        self._next_transaction_id = tx_id
+
 
 tx_id_manager = TxIdManager()