slither v0.7.1 releases: Static Analyzer for Solidity