Use clj-tuple for tuples

This allows us to have a concrete class/type for tuples, which gives us
the ability to shrink differently for tuples than for vectors. Namely,
tuples should retain their size during shrinking.
Remove incorrect comments