Added more BitVector operations and tests

* increment

* decrement

* negate