Solidity in 2025: safer patterns, tougher audits, L2 realities, and how teams ship production contracts—plus where Vyper and Rust fit.