[Resolver] Only indicate progress when in verbose mode