- lock/unlock/signal/wait/destroy functions cannot fail unless there is a bug,
   so have them return void rather than an unused int, and assert against bugs.
 - Fix a few corner case minor bugs.
 - Use fprintf() rather than msg_Err() to avoid infinite recursions.