Clean up logic on w-contractible affine schemes

It turns out there is a characterization of w-local affine schemes
with extremally disconnected closed point spaces in terms of the
pro-Zariski topology.