Got badger_verify in working order. Moved utilites into src dir