In that case, how do you distribute the IPs of supernodes to new clients, other than hardcoding them into the download binary?

Tor has the same problem; it solves it partially by hardcoding directory authorities, and partially with bridges that are distributed offline.