Prediction Markets vs. US Gambling: What the AGA Exodus Means for Crypto Users