Add missing Show instances.  Closes #12.

This also fixes the ISet instance to match the others and adds Trvrsbl instances.
We also add a Show instance for Generic.AFoldable.
Also, we add a couple more tests.
This passes all 41 test cases (sequentially)