Release v0.10.0

What's Changed

• Basic streaming by @phischu in #527
• Replace legacy sprintf with snprintf by @marvinborner in #685
• Add more GCC flags to CI builds by @marvinborner in #656
• Don't use weak refs by @b-studios in #647
• Improve benchmark arguments by @marvinborner in #666
• Fix tail-resumption optimization by @b-studios in #692
• Refactor core for optimizer by @b-studios in #694
• Also desugar with-do by @b-studios in #691

Full Changelog: v0.9.0...v0.10.0