---Margin, Futures, and the Insurance Fund: How Pros Think About Tail Risk on a Regulated Crypto Exchange