chore(deps): update dependencies (major changes)

Cargo.toml

@@ -41,7 +41,7 @@ anyhow = "~1.0.71"
 thiserror = "~1.0.40"
 pyo3 = { version = "~0.19.0", features = ["auto-initialize"] }
 egui = { version = "0.22.0", optional = true }
-indexmap = { version = "1.9.3", optional = true }
+indexmap = { version = "2.2.2", optional = true }
 eframe = { version = "0.22.0", optional = true }
 rfd = { version = "0.11.4", optional = true }
 boolector-solver = { package = "boolector", version = "~0.4.3", features = ["vendor-lgl"], optional = true }
@@ -60,7 +60,7 @@ riscu = { git = 'https://github.com/cksystemsgroup/riscu' }
 [dev-dependencies]
 rayon = "~1.7"
 tempfile = "~3.6.0"
-which = "~4.4"
+which = "~6.0.0"
 log = "~0.4.19"
 env_logger = "~0.10"