use QuickCheck to verify ProtocolPacket properties