Carbon Dioxide Removal and Tradeable Put Options at Scale