MAGen: Multi-agent smart contract generation with automated testing and verification (Empirical Software Engineering (Open Access Articles), 2026)