automatically increasing default --time-sec value when --tor/--proxy used (not touching anything if explicit --time-sec set)