restoring verification functionality for unit1.fst and millionaries.fst