Add test case for https://github.com/julianhyde/optiq/pull/230.
Fix https://github.com/julianhyde/optiq/pull/230, "RemoveSortRule derives trait set from sort, should derive it from sort's child".

There was also a bug in the test case; it was asking for un-sorted output, and it got it!