Case Study: Securing Solstice Labs’ Smart Contracts for Institutional Yield