Add validity testing

[treeowl]

There are three invariants not enforced by the types:

1. The child of a Skip can't be Empty (i.e., no trailing zeros).
2. The key stored in the root node is minimal.
3. The binomial trees are heap-ordered.

We should test that all operations produce valid queues.