Merge #329: Bump simplicity-lang version

9e46dbe Bump `simplicity-lang` version (Kyryl R)

Pull request description:

  


ACKs for top commit:
  apoelstra:
    ACK 9e46dbe; successfully ran local tests


Tree-SHA512: cb2d741a4a51d719670b50e1e5351b2580f35c51f0694f78b54ab2542ece9e9b29de9002db717d2bb412986aae9fdfd9c398d206c7d949b26c4525b7582c266d

Author: apoelstra

CHANGELOG.md

@@ -1,3 +1,9 @@
+# 0.7.0 - 2025-12-11
+
+* Improve `Display` for `Value` in several ways [#328](https://github.com/BlockstreamResearch/rust-simplicity/pull/328)
+* Replace `ExecTracker` trait with a more general API and add `PruneTracker` extension trait [#325](https://github.com/BlockstreamResearch/rust-simplicity/pull/325)
+* Add `CONTRIBUTING.md` [#321](https://github.com/BlockstreamResearch/rust-simplicity/pull/321)
+
 # 0.6.0 - 2025-09-17
 
 * Improve FFI API and fix soundness issues [#307](https://github.com/BlockstreamResearch/rust-simplicity/pull/288)