slither v0.6.12 releases: Static Analyzer for Solidity