I'm personally +1 on removing the verbose thing altogether:
- it's ugly
- I doubt it's really useful (I mean, printing to stderr - which is often line buffered or unbuffered - upon every action will probably change the timing)
- it also brings some problems on its own, e.g. #4188

So unless there's a good reason behind it, I think we could let it go.