Timing a min leftist tree vs binomial heap.