Updates

The relax_fence() gets rid of a deadlock, and after these commits, I definitely see the assertion failure!