collections::bitv: clean up and unit test `BitvSet::is_subset`