I'd prefer a fourth (unrealistic) option where we go to legislative war against house ownership by any entity that isn't going to live there. Land area is a finite natural resource and owning more than you can use is as perverse as selling off acres of the ocean or cubic miles of the atmosphere.