Remove pointer arithmetic intrinsics#1412

bors merged 2 commits intorust-lang:masterrust-lang/miri:masterfrom

josephlr:ptrjosephlr/miri:ptrCopy head branch name to clipboard