tsan: flip is_write bit in shadow to is_read
this makes calculation of interesting predicates faster