Add QuickCheck test for Kleene idempotence axiom and implement function
for generating arbitrary TCP packets.
Implement QuickCheck tests for remaining Kleene algebra axioms.