Add a condvar (futex) stress test.

This isn't a very good test, because rr serializes the vast majority of the execution.  But it should have made possible the user-write/kernel-read hazard referred to in #547.