What you describe would wipe out all life on earth. It would require much less to wipe out all human life. Not that I think Mars is the best possible alternative (I'm more interested from a scientific and exploration standpoint in exploring Europa or Enceladus), but it is reasonably accessible, unless we come up with better ideas for how to colonize Venus.