Correct internal BitvSet 0-padding, fixes #16542

These were the only differing-size-based errors I noticed. Might be more.