cartesianProduct: default order should be lexicographically sorted.
Update unittest and example code to reflect new ordering.