Buy CryptoPunks With Stablecoins: How We Used EIP-7702 to Enable USDC Purchasing