Correct internal BitvSet 0-padding, fixes #16542

These were the only differing-size-based errors I noticed. Might be more.
Can `.take(n).skip(m)` be replaced with `.take(n - m)`? It'd be a little clearer what's going on.