Add an "early abort" facility to diffseq.