Verifying Bots and Agents with Cryptography in the Age of AI