Then, when Venus is spinning fast enough, collide the asteroids together to give Venus a moon and tides.
While all that is going on, use some sort of huge electromagnet to spin Venus' internal heavy core to provide a strong magnetic field to deflect nasty stuff from the Sun and elsewhere.
Also build a shield to stop all sunlight reaching Venus, thus freezing the atmosphere onto the surface. That makes reprocessing the crust into something Earth-like much easier.
Comets could then be used to provide oceans.
Shouldn't take more than a few tens of thousands of years! Seems like something a few humans, downloaded into robots, could do.
Mars would remain a scientific research station like Antarctica, assuming that life is found there. I'd treat Europa and anywhere else with life the same way.
Also, would the temperature really go down and not be negated by the kinetic impact?
Apart from that, more water probably helps, if we do not need that water more urgently on mars.
Then there is also https://en.wikipedia.org/wiki/Oort_cloud
Don't worry - there is more than enough comets to bomb the Mars with all the future settlements. Muhaha
The ice comet solution has the added benefit of wiping out all of those pesky Martians, given the kinetic energies involved. Just ask any Pak Protector. (-:
There is no H on Venus surface, so it is impossible to change Venus with local resources. So, they have to be imported - and there is H in comets. So, the only way to teraform Venus is with bombarding it with thousands of comets and space junk, that contains ice. Maybe getting H out of gas planets might be another source, too.
The very big disadvantage except the atmosphere is the lenght of a venus day: 116 earth days and 18 hours.
So a science fiction solution is asteroid bombardment to make venus spin faster ..