slither v0.6.7 releases: Static Analyzer for Solidity