Release as version 1.0.0

Updates for upcoming tool paper submission and as a version 1.0.0 release to pypi

What's Changed

• Updates for FM2026 tool paper submission by @ttj in #8
• Further FM 2026 enhancements by @ttj in #9
• FM 2026 finalizations by @ttj in #10
• Update for pypi release by @ttj in #11

New Contributors

• @ttj made their first contribution in #7

Full Changelog: https://github.com/verivital/behaverify/commits/v1.0.0