Add some assertions to catch DTLS bugs