Do not allow na reads and CAS to race on the same location.

We do this by requiring Rst 0 for failed CASes. This avoid reduces the
need for the stuck_term hack.