Disjoint*::is_empty()
This is a raffinement of 49cbd4dcca. Previously, the container was scanned to compute the size in the unhappy path. Now, using `all_of` happy and unhappy path should be fast.
49cbd4dcca