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