quickcheck: refactor arbitrary payload generation
quickcheck: roundtrip property for UDP packets