Implement QuickUnion and spec.
Add WeightedQuickUnion and spec.