Smart contract formal verification costs have remained high while effectiveness is debated. After several 2026 exploits in formally verified contracts, is formal verification still worth the investment? Or should teams focus on other security measures?