It should be documented somewhere that BitVector implementations are equal if they have the same contents.