asan: weaken memory ordering, it's expensive in current implementation