Bump z3 from 0.19.6 to 0.19.7 (AFLplusplus#3633)

Bumps [z3](https://github.com/prove-rs/z3.rs) from 0.19.6 to 0.19.7.
- [Release notes](https://github.com/prove-rs/z3.rs/releases)
- [Changelog](https://github.com/prove-rs/z3.rs/blob/master/release-plz.toml)
- [Commits](prove-rs/z3.rs@z3-v0.19.6...z3-v0.19.7)

---
updated-dependencies:
- dependency-name: z3
  dependency-version: 0.19.7
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Author: dependabot[bot]

Cargo.lock

@@ -170,7 +170,7 @@ uuid = { version = "1.19.0", features = ["serde", "v4"] }
 which = "8.0.0"
 windows = "0.62.1"
 windows-core = "0.62.1"
-z3 = { version = "0.19.6", default-features = false }
+z3 = { version = "0.19.7", default-features = false }
 
 [workspace.lints.rust]
 # Deny