Expand docs to showcase 3-argument cartesianProduct.

Use same code in unittest (it's good to make sure examples actually
work! :-P)