Fix `IP_Network.allocate`, add tests