test: update snapshots due to change of toolchain

Author: zjp-CN

tests/snapshots/contract1.json

@@ -1,7 +1,7 @@
 [
   {
     "hash": "139208611264660498073262442478349906824",
-    "def_id": "DefId { id: 1, name: \"verify::proof2\" }",
+    "def_id": "DefId { id: 2, name: \"verify::proof3\" }",
     "file": "tests/proofs/gen_by_macros.rs",
     "attrs": [
       "#[kanitool::proof]"
@@ -42,7 +42,7 @@
   },
   {
     "hash": "139208611264660498073262442478349906824",
-    "def_id": "DefId { id: 0, name: \"verify::proof1\" }",
+    "def_id": "DefId { id: 1, name: \"verify::proof2\" }",
     "file": "tests/proofs/gen_by_macros.rs",
     "attrs": [
       "#[kanitool::proof]"
@@ -83,7 +83,7 @@
   },
   {
     "hash": "139208611264660498073262442478349906824",
-    "def_id": "DefId { id: 2, name: \"verify::proof3\" }",
+    "def_id": "DefId { id: 0, name: \"verify::proof1\" }",
     "file": "tests/proofs/gen_by_macros.rs",
     "attrs": [
       "#[kanitool::proof]"