changed BitVector#toDigits to return the leading 0s
changed bitvector representation to <bitwidth>'<value>
added missing BuiltinBitVectorOperations#ne