slither v0.9.3 releases: Static Analyzer for Solidity