Added VerifierUtils w/ fixed AnalyzeInvoke
Started examining method signatures
Invoking methods