minor fixes
add spelling checks
fix: --shuffle is for qtest not the generated program

(which is sad, BTW)
Support for IPv6 addresses in Ip.Addr

Simpler than to have a distinct Ipv6.Addr module.
This implies that we now use a Unix.inet_addr type instead of an Int32.t
for IP addresses.