0.9.0

What's Changed

• Adds DefiSafety badge to README.md. by @robotoer in #10
• add certora formal verification by @aazhou1 in #11
• readable defi safety score image by @aazhou1 in #12
• 0.9.0 by @term-finance-publisher in #15

New Contributors

• @robotoer made their first contribution in #10
• @aazhou1 made their first contribution in #11

Full Changelog: 0.6.0...0.9.0