and now nothing will be restrained from them, which they have imagined to do."
Of which the latter are the greater threat.
As a generalisation, industrial chemists love concentrated chemical feedstocks; high concentrations tend to increase yields and reduce costs.
And maybe even Dallas. (errr... Remember "Dallas"?)
It once was believed that Mercury was locked into a year-long day, but that has since been shown to be an error (reasonable, but none the less an error). Therefore Venus would become the first planet in the solar system to have, not two poles, but at least six: the sun-ward solar pole, the outward dark pole, and of course, a North and South pole, and an East pole on the leading limb of the planet as it moves in its orbit, and a West pole on the trailing limb. Anyone with a taste for such exercises could define an indefinite number of other poles, but those six would be the most significant for most purposes.
Long before the sun blossoms however, we will have had time to colonise Mercury as well, using related, but drastically different techniques. Mercury too would have to be abandoned as the sun expands, but we still could expect more than half a billion years of comfortable living and riches from Mercury before that becomes a concern.