Position wire labels to avoid wire crossings

Right now, all wire labels have the same relative position along their wires, by default the midpoint. This is generally desirable, but when wires cross, as in a braiding, the labels sometimes end up on top of each other. In such cases the wire labels should be re-positioned.