slither v0.7 releases: Static Analyzer for Solidity