KodCode: A Diverse, Challenging, and Verifiable Synthetic Dataset for Coding