v3.0.1

[Unreleased]

Bug Fixes

• Apply cargo fmt and remove duplicate workflow files by @danwt (51ef088)
• Reduce proptest cases and fix cross-compilation for Z3 by @danwt (3a75b6e)
• Increase soundness timeout, drop cross for linux builds by @danwt (d3d44f3)

Chores

• V3.0.1 by @danwt (9dcf713)
• V3.0.1 by @danwt (f284029)