Various memory ordering improvements
Here we:
- silence various benign data races noticed by ThreadSanitizer
- improve memory ordering documentation
- weaken memory barriers in STM where possible
Based on !10957 (closed) .
Here we:
Based on !10957 (closed) .