Disjoint test and implementation
Added difference_update for zsets