Add "-verbose time" to print timing of various interesting ICE passes.