"we could uphold the judgment on the basis of the doctrine of equivalents only if we were to conclude that no reasonable jury, given proper instructions, could reach any verdict other than to find infringement by equivalents. The parties, however, have not briefed that issue in any detail, and...