Merge "Allow unsupported tagged ptrs in emulated execution"