Fix state_machines_macros dependency conflict (#5)

* Fix state_machine dependency

* fmt

Author: rikosellic

src/verus.rs

@@ -154,6 +154,7 @@ pub fn system_crates() -> HashSet<&'static str> {
         "vstd",
         "verus_builtin",
         "verus_builtin_macros",
+        "verus_state_machines_macros",
     ])
 }
 
@@ -166,6 +167,7 @@ pub fn system_crates() -> HashSet<&'static str> {
         "vstd",
         "verus_builtin",
         "verus_builtin_macros",
+        "verus_state_machines_macros",
     ])
 }
 
@@ -176,10 +178,9 @@ pub fn system_crates() -> HashSet<&'static str> {
         "build-script-build",
         "borsh",
         "vstd",
-        // "builtin",
-        // "builtin_macros",
         "verus_builtin",
         "verus_builtin_macros",
+        "verus_state_machines_macros",
     ])
 }