Add some tests around DomainSet.