We don't document how Shadow assigns IP addresses to hosts. We should do that somewhere, probably in [`hosts.<hostname>.ip_addr`](https://shadow.github.io/docs/guide/shadow_config_spec.html?highlight=address#hostshostnameip_addr).