Expand a short IPv6 to full form.
Converts a compressed IPv6 address back to its full 8-group, 32-character hexadecimal representation with all leading zeros restored.