timing information added in debugprint

Do something like in `op_time` (line 288 of the same file).