Fix BitVector.resize

Make BitVector follow its stated api:
Even when number of bins stay the same, if the new size smaller, clear bits. if new size is bigger, keep old bits.