sanity checks on k in _maximally_separated_subset function