Debug the diverging Arbitrary instance.  Activate the two quickcheck props that pass currently.