Fully instrumented VerifierBehavior
Refactored driver methods out of GLoSStub
Refactor Driver for better abstraction
Refactored driver abstracting run args