Rollup merge of #161331 - nnethercote:bitset-simplifications, r=Mark-Simulacrum

Bitset simplifications

There are a few operations that aren't needed any more. Details in individual commits.

r? @Mark-Simulacrum