Add a simple test for cartesian product
Add another test of 3-way cart prod.  Nondeterministic failures...