Expand a compressed IPv6 address to full 8-group notation (:: to 0000:...) or compress a full address by collapsing the longest zero run. Also validates format. Pure CPU, deterministic.