> overcomplicated

What exactly is complicated, using hexadecimal in addresses? The IP packet format itself is as simple as ever, and management things are done in a more elegant way (ND runs over ICMP rather than ARP being sort of there on the side not-in-IP-at-all).

> not backwards compatible

Massive service providers like T-Mobile US who use NAT64 as the only way to connect to v4 hosts anymore would disagree.

> doesn't actually solve the NAT problems for home users because of how ISPs work in the real world

My ISP delegates me a /56. How else do ISPs work in the "real world"? I've heard of some giving out smaller networks but never something egregiously small.