Add --quick-spec-only and --termsize