Sketching and similarity estimation

Recasting UniFrac as weighted Jaccard makes a 15,000-study metric up to a thousand times faster

The speedup rests on a proof that turns a tree traversal into set similarity, which is the kind of result that ages well. The precision cost of the sketches is the number adopters will need next.