Solidity is garbage. There is a ton of space for improvement between Solidity and even a solid programming language, let alone a formally verified system.