feat: built-in check to assert that all values are present in a column

[CangyuanLi]

could have different versions like is_subset, is_exact, etc.