Add debug out to support regression test on Ken's incremental search algorithm. Ken has his own hypothesis class...