Solidity + EVM has the best dev tooling to do static analysis, robust testing, formal verification. `vm.etch` is heaven.
14,37K