chore(rust): update dafny runtime release

Author: ajewellamz

releases/rust/db_esdk/dafny_runtime_rust/Cargo.toml

@@ -1,18 +1,18 @@
 [package]
-name = "dafny-runtime"
-version = "0.2.0"
+name = "dafny_runtime"
+version = "0.1.0"
 edition = "2021"
-keywords = ["dafny"]
-license = "ISC AND (Apache-2.0 OR ISC)"
-description = "dafny-runtime is the runtime support library for Rust code gerated from Dafny."
-repository = "https://github.com/aws/aws-database-encryption-sdk-dynamodb/tree/main/releases/rust/db_esdk/dafny_runtime_rust"
-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"
 
 [features]
+# Use `dafny translate rs --rust-sync --include-runtime file.dfy`
+# to compile to code where values can be sent safely through threads
+# This will include the runtime with the sync feature
+
+# Use --features small-int to make DafnyInt use i128 instead of num::BigInt
 sync = []
+small-int = []