What Betting Markets Really Think About the Stripe, Discord, and Anduril IPOs