toString now returns '-' for BitVectors consisting only of Z