Fix logical error in main verifier & clean import
Merge branch 'dev' of https://github.com/savi-bcrl/aurora into dev