Launch Solidity Compiler v0.8.30 with Prague Default EVM

Solidity Compiler v0.8.30 launches with prague as the default EVM version. NatSpec now captures enum documentation in the AST. SMTChecker fixes include ignoring loop conditions for constant checks, correcting subset contract analysis, and resolving errors initializing user-defined types with string literals. Contributors include ferranmesas, futreall, Henry Chu, Kaan Uzdoğan, Kamil Śliwak, and others. This release improves compiler accuracy and reliability.