Rolled back toString change in BitVector, moved it into ModelBitDisplay