Good decision. That tyre was shot. The GP4000/5000 does "suffer" from a thinner, less protective sidewall. It's the price of low weight and a fast tyre. I wrecked a few when I lived in a more sharp-flint-prone area.

Looks like you hit something big and sharp though that likely would have wrecked most road tyres.