slither v0.8.1 releases: Static Analyzer for Solidity