Unify kani library and kani core logic

Cargo.lock

@@ -407,6 +407,7 @@ checksum = "49f1f14873335454500d59611f1cf4a4b0f786f9ac11f4312a78e4cf2566695b"
 name = "kani"
 version = "0.53.0"
 dependencies = [
+ "kani_core",
  "kani_macros",
 ]
 

library/kani/Cargo.toml

@@ -10,6 +10,7 @@ publish = false
 
 [dependencies]
 kani_macros = { path = "../kani_macros" }
+kani_core = { path = "../kani_core" }
 
 [features]
 concrete_playback = []