Stop passing tag-raw-ptrs to MIRIFLAGS

For a while it has been a do-nothing option that has finally been removed.

Author: workingjubilee

.github/workflows/main.yml

@@ -54,8 +54,6 @@ jobs:
       - name: miri
         if: matrix.toolchain == 'nightly'
         run: bash ./scripts/run_miri.sh
-        env:
-          MIRIFLAGS: '-Zmiri-tag-raw-pointers'
 
       - name: fuzz
         if: matrix.fuzz == 1