Make the verbose setting work, and quickly

We use a macro that doesn't emit any code at all if verbose is off.