ordeal v0.4.0

What's Changed

• chore(plan): re-sequence releases to unblock roadmap work by @avrabe in #27
• feat(lean): second simulation leaf — load_cnf_refines (sorry-free) by @avrabe in #28
• feat(field): synth ask 1 — BvTerm::Ite bool→BV bridge by @avrabe in #30
• feat(field): synth ask 3 — Solver::check_with_limit (conflict budget) by @avrabe in #31
• feat(field): synth ask 2 — ordeal::lowering derived-op helpers by @avrabe in #32
• release: v0.4.0 — synth field asks (ite, lowering, bounded check) by @avrabe in #33

Full Changelog: v0.3.0...v0.4.0