ck_bytelock: Use ck_pr_fence_atomic.
ck_rwlock: Use ck_pr_fence_atomic.
ck_pr: Comment elaboration on ck_pr_fence_atomic semantics.

More specifically, note that in memory models where atomic
operations do not have serializing effects that atomic
read-modify-write operations are modeled as store operations.