Enforce that bitvectors have non-negative indices always (#723)

Enforce that bitvectors have non-negative indices always (#723) #1360