Checksum

for your consideration: integrate network packet checksum code from Mirage projects.

currently breaks quickcheck tests as they did not handle checksum properly. will work with Spiros to resolve.