sync2 doc update

* proof of waker-change is wait-free if the protocol is safe