revised packetdrill with some extra tests