v1.1.0

What's Changed

• fix: rust-bindgen ident issue by @NgaiJustin in #2
• feat: update btor2tools to latest version

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