chore(rust): new dafny rust runtime release

Author: ajewellamz

releases/rust/db_esdk/dafny_runtime_rust/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "dafny-runtime"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2021"
 keywords = ["dafny"]
 license = "ISC AND (Apache-2.0 OR ISC)"
@@ -10,9 +10,11 @@ authors = ["AWS-CryptoTools"]
 readme = "README.md"
 
 [dependencies]
-once_cell = "1.18.0"
-num = "0.4"
-itertools = "0.11.0"
+once_cell = "1.21.3"
+num = "0.4.3"
+itertools = "0.14.0"
 
+# Use --features small-int to make DafnyInt use i128 instead of num::BigInt
 [features]
 sync = []
+small-int = []