You beat me to it. Just posted a comment saying the same thing. I think if we solidified the CO2 we would have an easier time dealing with it, but IDK. Then again, we might be able to get to work now by just suspending some blimps in the upper atmosphere. They could use solar energy to sequester the CO2 and start lowering the pressure & temperature.
I read an SF story a few years ago where the idea was to sequester the carbon of Venus into blocks of diamond. A minor bit of (ahem) atmosphere in a pretty good novel . . . just don't remember the title.