Use a counter based condition variable implementation

[polytypic]

This changes the condition variable implementation of Lock and Rwlock to use an atomic counter to detect signals rather than use the ability of Awaitable to enqueue awaiters ahead of await.