I don't think they do DHCPv6 IA_NA as I've capture the DHCPV6 packets and they do not assign an address.
I've gone back to Sonicwall as it is not autonomously assigning itself an address and as far as I can tell it should do. Unless my internal subnets are choking it (e.g /56 PD on WAN overlaps with internal /64s) - which may be the case. Maybe someone more well versed in IPv6 subnets can clarify for me. In v4 if I had my WAN as 10.0.0.0/16, I could not have my LAN as 10.0.1.0/24 - how does this work when DHCPv6 issues you a /56 on your WAN but you want to cut that into /64 chunks internally?