[in progress] Instrumentation && more sync primitives && trace

in read16 you kt_access_range, but here you do kt_access with size log 16, something of that is not correct
I would do 2 8-byte accesses in both of them, that's what we do in tsan and it served us well to date