Iren touted a $9.7 billion AI cloud contract with Microsoft. Cipher Mining reached a long-term deal with Amazon Web Services.