1.2.0

What's Changed

• CERT 8329 8330 Remove submodule clone + allow branch cloning for Grou… by @nivcertora in #87
• CERT 8357 Update templates by @nivcertora in #88
• Add Sonic Chain Support by @liav-certora in #89
• CERT-8394 CERT-8393 Allow Empty Compilation and Graceful validate-by-id Errors by @liav-certora in #90
• Fix CoinGecko API by @nivcertora in #91
• Bump jinja2 from 3.1.5 to 3.1.6 by @dependabot[bot] in #92
• execution.json Cosmetics by @liav-certora in #93

Full Changelog: 1.1.0...1.2.0