pub fn bitmap_is_subset_u256(sub: U256, sup: U256) -> bool
sub ⊆ sup when both are already loaded as U256.
sub ⊆ sup
U256