I talked to adz at DWeb camp and they said they are using libp2p for p2panda. I think there were a couple other projects using it who seemed happy with how it worked. It says it does NAT hole-punching on the tin. Maybe worth looking into (surely this has already been discussed somewhere?).