Validate rekeys with sequence numbers
Implement and test terminate
Test terminate over udp