Merge "Add reachabilityFence intrinsics" into pi-dev