A pair generator is just a tuple

Makes sure that pairs keep their count at two during shrinking.
Test that tuples retain count during shrinking