More automated testing

[qnikst]

Write a script-driven Network.Transport implementation with which we can test for specific network failures, and then use QuickCheck to generate scripts (similar to how ByteString is tested).