Static Analysis

Run Slither/Mythril-style checks on verified source code.