finished all of the running time related obligations for diff

still two obligations remaining (that corresponding to making sure we
satisfy the "P" argument in recursive calls)