Generate new verification output, fix test in verify scripts