Multi-Agent Code Verification via Information Theory