Add a new invariant to `Bitv`
Add a new invariant to `Bitv`

The length of the underlying vector must now be exactly as long as it needs to
be.

l0kod/rust,mdinger/rust,krzysz00/rust,victorvde/rust,zaeleus/rust,hauleth/rust,omasanori/rust,dinfuehr/rust,mahkoh/rust,AerialX/rust-rt-minimal,GBGamer/rust,graydon/rust,ebfull/rust,omasanori/rust,richo/rust,gifnksm/rust,dwillmer/rust,avdi/rust,bombless/rust-docs-chinese,ruud-v-a/rust,dwillmer/rust,GBGamer/rust,carols10cents/rust,jashank/rust,AerialX/rust-rt-minimal,l0kod/rust,bombless/rust,andars/rust,omasanori/rust,carols10cents/rust,aepsil0n/rust,AerialX/rust,jashank/rust,sae-bom/rust,mvdnes/rust,jroesch/rust,TheNeikos/rust,graydon/rust,mahkoh/rust,pshc/rust,reem/rust,pelmers/rust,mvdnes/rust,ebfull/rust,l0kod/rust,sae-bom/rust,zachwick/rust,mahkoh/rust,l0kod/rust,carols10cents/rust,pshc/rust,pshc/rust,mdinger/rust,graydon/rust,vhbit/rust,victorvde/rust,defuz/rust,avdi/rust,philyoon/rust,AerialX/rust-rt-minimal,andars/rust,seanrivera/rust,kwantam/rust,victorvde/rust,victorvde/rust,jroesch/rust,aidancully/rust,kimroen/rust,mihneadb/rust,nwin/rust,GBGamer/rust,AerialX/rust,victorvde/rust,kwantam/rust,aneeshusa/rust,pshc/rust,miniupnp/rust,reem/rust,mvdnes/rust,philyoon/rust,kimroen/rust,andars/rust,aidancully/rust,KokaKiwi/rust,jroesch/rust,ruud-v-a/rust,zachwick/rust,kwantam/rust,miniupnp/rust,nwin/rust,andars/rust,seanrivera/rust,gifnksm/rust,krzysz00/rust,pshc/rust,XMPPwocky/rust,cllns/rust,zubron/rust,dwillmer/rust,reem/rust,pelmers/rust,vhbit/rust,defuz/rust,vhbit/rust,aneeshusa/rust,KokaKiwi/rust,ktossell/rust,pelmers/rust,kimroen/rust,philyoon/rust,pshc/rust,kwantam/rust,ejjeong/rust,gifnksm/rust,avdi/rust,robertg/rust,defuz/rust,hauleth/rust,untitaker/rust,nwin/rust,rprichard/rust,mdinger/rust,ebfull/rust,ebfull/rust,dinfuehr/rust,richo/rust,richo/rust,TheNeikos/rust,krzysz00/rust,seanrivera/rust,kimroen/rust,pelmers/rust,KokaKiwi/rust,miniupnp/rust,miniupnp/rust,robertg/rust,ejjeong/rust,AerialX/rust-rt-minimal,XMPPwocky/rust,graydon/rust,aidancully/rust,robertg/rust,mahkoh/rust,miniupnp/rust,carols10cents/rust,kimroen/rust,XMPPwocky/rust,seanrivera/rust,ktossell/rust,sae-bom/rust,kwantam/rust,zubron/rust,pelmers/rust,XMPPwocky/rust,philyoon/rust,gifnksm/rust,cllns/rust,zachwick/rust,zubron/rust,reem/rust,TheNeikos/rust,dinfuehr/rust,ebfull/rust,TheNeikos/rust,jashank/rust,ktossell/rust,aneeshusa/rust,gifnksm/rust,KokaKiwi/rust,sae-bom/rust,AerialX/rust,zubron/rust,avdi/rust,aidancully/rust,miniupnp/rust,gifnksm/rust,cllns/rust,philyoon/rust,zaeleus/rust,ebfull/rust,richo/rust,l0kod/rust,ruud-v-a/rust,mihneadb/rust,cllns/rust,GBGamer/rust,andars/rust,rprichard/rust,miniupnp/rust,carols10cents/rust,ktossell/rust,hauleth/rust,rohitjoshi/rust,jashank/rust,jroesch/rust,kimroen/rust,GBGamer/rust,richo/rust,krzysz00/rust,AerialX/rust,mdinger/rust,philyoon/rust,zachwick/rust,defuz/rust,TheNeikos/rust,AerialX/rust,ruud-v-a/rust,pelmers/rust,ejjeong/rust,nwin/rust,zubron/rust,TheNeikos/rust,zaeleus/rust,rohitjoshi/rust,zubron/rust,vhbit/rust,aneeshusa/rust,rohitjoshi/rust,zubron/rust,mihneadb/rust,rprichard/rust,jashank/rust,ruud-v-a/rust,untitaker/rust,dwillmer/rust,sae-bom/rust,aepsil0n/rust,pshc/rust,defuz/rust,jroesch/rust,nwin/rust,untitaker/rust,nwin/rust,AerialX/rust-rt-minimal,mvdnes/rust,aidancully/rust,ruud-v-a/rust,rohitjoshi/rust,mdinger/rust,AerialX/rust-rt-minimal,l0kod/rust,kimroen/rust,jashank/rust,rprichard/rust,dwillmer/rust,mihneadb/rust,dwillmer/rust,jashank/rust,nwin/rust,avdi/rust,dinfuehr/rust,graydon/rust,bombless/rust,aepsil0n/rust,zubron/rust,nwin/rust,hauleth/rust,omasanori/rust,rohitjoshi/rust,jroesch/rust,dwillmer/rust,rohitjoshi/rust,KokaKiwi/rust,mdinger/rust,aidancully/rust,mvdnes/rust,bombless/rust,mahkoh/rust,robertg/rust,seanrivera/rust,dinfuehr/rust,bombless/rust,avdi/rust,GBGamer/rust,kwantam/rust,mahkoh/rust,ktossell/rust,carols10cents/rust,untitaker/rust,krzysz00/rust,aepsil0n/rust,krzysz00/rust,richo/rust,dwillmer/rust,jroesch/rust,mihneadb/rust,aneeshusa/rust,l0kod/rust,AerialX/rust,zaeleus/rust,graydon/rust,vhbit/rust,hauleth/rust,vhbit/rust,omasanori/rust,zachwick/rust,bombless/rust,ejjeong/rust,sae-bom/rust,KokaKiwi/rust,mihneadb/rust,jroesch/rust,bombless/rust,hauleth/rust,seanrivera/rust,ktossell/rust,vhbit/rust,pshc/rust,zachwick/rust,miniupnp/rust,vhbit/rust,XMPPwocky/rust,cllns/rust,rprichard/rust,jashank/rust,mvdnes/rust,omasanori/rust,GBGamer/rust,aepsil0n/rust,XMPPwocky/rust,defuz/rust,andars/rust,ejjeong/rust,l0kod/rust,reem/rust,untitaker/rust,aepsil0n/rust,aneeshusa/rust,zaeleus/rust,reem/rust,dinfuehr/rust,untitaker/rust,ktossell/rust,GBGamer/rust,zaeleus/rust,robertg/rust,cllns/rust,robertg/rust,victorvde/rust,rprichard/rust,ejjeong/rust