Issue #7537: Add is_disjoint() method and an alias isdisjoint()

Add a method for finding if two sets are disjoint.
Ah, thanks!