change default goals to "clean verify"