Took all t0 = time.time() declarations outside their enclosing if verbose: statements, as
the new print_verbose() functions operate whether or not options.verbose=True, and this
was throwing errors because t0 was not previously assigned.