atomic.9: fix description of acquire and release
The ordering point is not the atomic operation itself, but the load for
acquire or store for release done as part of the atomic. This does not
matter for atomic_load_acq and atomic_store_rel, but does matter for RWM
operations.
atomic.9: provide fine details about CAS memory model MD semantic