quickcheck: fix UDP test name, rm debug printf
quickcheck: roundtrip testing for TCP packets

This testing revealed one bug:

  * The NS flag is in a different byte than the rest of the flags. In
    particular it's in the same byte as the data offset. If it was ever
    set in an incoming packet, that flag would be dropped by the shift
    of the offset byte.