Thanks for the feedback guys.
Re: Thaeris:
The terraformation of Venus would be take significantly more effort than it would for Mars, but I do not believe it is economically impractical (well today it is, obviously, but several hundred years from now, who knows). I believe that the value of a habitable Venus would justify the cost of terraforming it, though it would be much more logical to start with Mars instead.
On Venus, there are the following problems to be dealt with:
1: Too much heat.
2: Too thick atmosphere / too much pressure
3: Non-breathable / poisonous atmosphere
4: Length of solar day, which is
116 earth days
5: Lack of magnetic field.
Problems 1, 2, and 3 are closely related. If you remove enough atmosphere to bring surface pressure to earth level, as well as replace the CO2 with nitrogen/oxygen, then a great deal of that heat would be released. However, the sun's apparent size is 50% greater from Venus, so it is likely necessary to deflect much of that light through orbiting mirrors or soletta. Once solar insolation is down to earthlike levels there should be no reason for Venus to revert back to a hot/toxic environment.
As for the length of day, that’s quite a big problem, too. Not just for biology since here it has evolved to a 24-hour cycle, but having such slow rotation would likely cause strong winds to balance temperature differences from the day side to the night side. I’m not a climate expert though so I don’t know how severe they would be.
Magnetic field would help preserve the atmosphere but might not be as necessary as the other fixes.