added verbose mode for reporting execution times

  I tried putting together a proper/tested implementation of the verbose mode (to trace execution times).  It seems to work alright.