slither v0.8.3 releases: Static Analyzer for Solidity