Add QuickCheck test for Kleene idempotence axiom and implement function
for generating arbitrary TCP packets.