fix: udpate expected output

Author: Stevengre

…tion/data/prove-rs/interior-mut2-fail.rs …tegration/data/prove-rs/interior-mut2.rskmir/src/tests/integration/data/prove-rs/interior-mut2-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/interior-mut2.rs kmir/src/tests/integration/data/prove-rs/interior-mut2-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/interior-mut2.rs

@@ -41,7 +41,6 @@
 PROVE_RS_SHOW_SPECS = [
     'local-raw-fail',
     'interior-mut-fail',
-    'interior-mut2-fail',
     'interior-mut3-fail',
     'assert_eq_exp',
     'bitwise-not-shift',