WyIL: Bug fix for #423.

The problem was the subset and subseteq operators were not being
inverted correctly.  I also added another test case to more specifically
capture this case.