0.7.4

What's Changed

• support options for Transformable by @jxnu-liguobin in #210
• update sbt scope and make as dev statue by @jxnu-liguobin in #211
• refactor smt-cache by @jxnu-liguobin in #212

Full Changelog: 0.7.3...0.7.4