tests: update snapshots due to toolchain bump

Author: zjp-CN

tests/snapshots/compare/contract1.json

@@ -1,5 +1,5 @@
 KaniList {
-    kani_version: "0.63.0",
+    kani_version: "0.64.0",
     file_version: "0.1",
     standard_harnesses: {
         "tests/proofs/ad_hoc.rs": {

tests/snapshots/compare/contract2.json

@@ -1,5 +1,5 @@
 KaniList {
-    kani_version: "0.63.0",
+    kani_version: "0.64.0",
     file_version: "0.1",
     standard_harnesses: {},
     contract_harnesses: {

tests/snapshots/kani_list/ad_hoc.txt

@@ -1,5 +1,5 @@
 KaniList {
-    kani_version: "0.63.0",
+    kani_version: "0.64.0",
     file_version: "0.1",
     standard_harnesses: {
         "tests/proofs/gen_proofs_by_macros.rs": {

tests/snapshots/kani_list/gen_contracts_by_macros.txt

@@ -1,5 +1,5 @@
 KaniList {
-    kani_version: "0.63.0",
+    kani_version: "0.64.0",
     file_version: "0.1",
     standard_harnesses: {
         "tests/proofs/gen_proofs_by_nested_macros.rs": {

tests/snapshots/kani_list/gen_proofs_by_macros.txt

@@ -1,5 +1,5 @@
 KaniList {
-    kani_version: "0.63.0",
+    kani_version: "0.64.0",
     file_version: "0.1",
     standard_harnesses: {},
     contract_harnesses: {

tests/snapshots/kani_list/gen_proofs_by_nested_macros.txt

@@ -1,5 +1,5 @@
 KaniList {
-    kani_version: "0.63.0",
+    kani_version: "0.64.0",
     file_version: "0.1",
     standard_harnesses: {
         "tests/proofs/standard_proofs.rs": {

tests/snapshots/kani_list/proofs_for_contract.txt

@@ -1,5 +1,5 @@
 KaniList {
-    kani_version: "0.63.0",
+    kani_version: "0.64.0",
     file_version: "0.1",
     standard_harnesses: {
         "tests/proofs/standard_proofs_with_contracts.rs": {