Sonic Labs Launches the Sonic Mainnet: EVM-Compatible, Verifiable 10,000 TPS, and Sub-Second Finality