Create an invariant in bit sequences
Create an invariant in bit sequences

Also, fix bits<T>::popcount(), which previously violated a precondition.

mavam/vast,mavam/vast,vast-io/vast,mavam/vast,vast-io/vast,vast-io/vast,vast-io/vast,vast-io/vast,mavam/vast