synth v0.52.0

What's Changed

• chore(deps): bump wasm-encoder from 0.253.0 to 0.254.0 by @dependabot[bot] in #861
• chore(deps): bump dependabot/fetch-metadata from 2 to 3 by @dependabot[bot] in #862
• chore(deps): bump pulseengine/rivet from 0.28.0 to 0.30.0 by @dependabot[bot] in #863
• chore(deps): bump ordeal from 0.9.1 to 0.16.1 by @dependabot[bot] in #864
• fix(main): restore BvTerm::Urem arms for ordeal 0.16.1 + latent ord_bv panic + hold 0.x-minor dependabot bumps by @avrabe in #866
• feat(#867): ISA-model adequacy — counted simplified-model trusted base + model-coverage complement by @avrabe in #870

Full Changelog: v0.51.0...v0.52.0