In my view, Amigoid systems should do like Haiku and others, and look at porting the KAME derived IP stack of FreeBSD or NetBSD. Is it difficult and time consuming? Yes, because very few Amiga programmers have knowledge required.
You are correct.
For the time being, I'm still of the opinion that the need to support IPv4 in the home network, with the gateway router providing some sort of dual stack functionality, is likely going to be a lasting solution (meaning that it will last much too long for comfort). There's just too much IPv4-only gear out there which cannot be conveniently replaced.
For the record, I recently switched ISPs, and my new contract favours IPv6. Which means that that a DS-Lite solution is in place, but it has its limitations. For example, the VPN solution which we're using at my company doesn't play nice with it. But as long as you're mainly making connections from within your home network, through the gateway router as opposed to having servers or hackers trying to connect through your gateway router into your home network, things work rather well. I suppose that the router supplied by the ISP supports some clever UPnP port forwarding mechanism, but I'm sufficiently risk-aware not to connect a home network directly to a router which I have no control over.