Patch Set 1: Abandoned

This seems to be not worthwhile.  HistogramDiff runs so close to PatienceDiff that it beats the optimized PatienceDiff that needs to fallback on HistogramDiff when there are no more unique elements in the region.

Consequently I may queue up a change to delete PatienceDiff.