minor changes

security/OTPChecker.c

@@ -117,6 +117,7 @@ static void work_func (OTPChecker *mc)
 
 static void work_done_handler (OTPChecker *mc)
 {
+    ASSERT(mc->tw_have)
     DebugObject_Access(&mc->d_obj);
     
     // free work

security/OTPGenerator.c

@@ -31,6 +31,7 @@ static void work_func (OTPGenerator *g)
 
 static void work_done_handler (OTPGenerator *g)
 {
+    ASSERT(g->tw_have)
     DebugObject_Access(&g->d_obj);
     
     // free work