v1.1.0

What's Changed

• Add Kani verifier backend by @Yiannis128 in #1
• Replace negate_success with success + failure verdict gates by @Yiannis128 in #2
• test: move pytest spec tests into the regression suite by @Yiannis128 in #3

Full Changelog: v1.0.0...v1.1.0