Instrument laser with plugins (#1388)

Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>

mythril/analysis/symbolic.py

@@ -132,6 +132,8 @@ class SymExecWrapper:
         if not disable_dependency_pruning:
             plugin_loader.load(DependencyPrunerBuilder())
 
+        plugin_loader.instrument_virtual_machine(self.laser, None)
+
         world_state = WorldState()
         for account in self.accounts.values():
             world_state.put_account(account)