Fixed overflow detection for BitVector::add