chore: release v0.4.0

[toolCHAINZ]

🤖 New release

• crackers: 0.3.0 -> 0.4.0 (⚠ API breaking changes)
• crackers_python: 0.3.0 -> 0.4.0

⚠ crackers breaking changes

--- failure method_parameter_count_changed: pub method parameter count changed ---

Description:
A publicly-visible method now takes a different number of parameters.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#fn-change-arity
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.43.0/src/lints/method_parameter_count_changed.ron

Failed in:
  crackers::synthesis::assignment_model::AssignmentModel::new now takes 3 parameters instead of 2, in /tmp/.tmpi0uNNv/crackers/crackers/src/synthesis/assignment_model/mod.rs:19

--- failure struct_missing: pub struct removed or renamed ---

Description:
A publicly-visible struct cannot be imported by its prior path. A `pub use` may have been removed, or the struct itself may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.43.0/src/lints/struct_missing.ron

Failed in:
  struct crackers::synthesis::assignment_model::builder::ArchInfo, previously in file /tmp/.tmpyAwQfg/crackers/src/synthesis/assignment_model/builder.rs:17

Changelog

crackers

0.4.0 - 2025-08-14

Other

• bump deps (#57)

crackers_python

0.4.0 - 2025-08-14

Added

• use release-plz (#45)

Fixed

• verify reference program operations against blacklist (#51)

Other

• bump deps (#57)
• release v0.3.0 (#56)
• [breaking] bump jingle and z3 (#55)
• release v0.2.1 (#54)
• release v0.2.0 (#52)
• release v0.1.3 (#50)
• release (#46)
• Update refs (#41)
• Add import for mac OS wheel (#40)
• Fix Linux Z3 Dynamic Linking (#38)
• Re-enable ARM linux wheel (#37)
• Add JSON de/serialization to python (#36)
• Update Python Type Annotations (#35)
• Add Python Type Annotations (#34)
• Enhanced Python Constraint Support (#27)
• Rust 2024 Edition (#26)
• Add Python CI (#25)
• pyo3 bindings (#21)

---

This PR was generated with release-plz.