I'm sorry but destructive terraforming techniques will take several thousand years to work on Mars. You know, things like bombarding it with asteroids or lasers

I'm sorry but destructive terraforming techniques will take several thousand years to work on Mars. You know, things like bombarding it with asteroids or lasers to kick up enough CO2 to form a thick atmosphere. At that point you are going to need a better plan to make humanity survive the next thousand years. In fact, I would expect a patient humanity that is willing to go thousands of years without any economic growth to be more capable of space colonization, than a humanity that needs a new planet every quarter.