Fix bug in Redblackset.isSubset (empty sets were only subsets of empty sets)

This came up while investigating github issue #113