Joe, about the under exposure: Did you create and apply the LCC? Once you do, the edges get pretty bright. At first I thought the LCC was over-correcting for falloff. Then I thought, on an angle of view that wide I bet it is a pretty realistic rendering of the sky based on the sun direction. Even without a polarizer the sky is brighter along the sun's axis.
Dave
Edit: If you switch to linear response there is indeed some headroom.
I have always found the light fall off correction in the LCC fix to be a bit overzealous.
I would assume this is because C1 increases the output of each pixel in the correction by the amount with which it is off in the lens cast sample shot. However, in reality, through the lens, this is not how it works. Highlights burn in faster then shadows, so if you correct the fall off optically, with a CF, the light fall off is corrected more naturally and does not look overly bright on the edges.
It would be impossible to really create a light falloff correction that knows how much to increase the highlights by, and then the mid-tones, and then the shadows (an amount that would be ever decreasing depending on the DMax of each pixel) to simulate a real CF, so this is what we are stuck with.
So usually I am setting the light fall at 72% to 86%, depending on the lens, and using the CFs when I can.
Editing the image like this, I got a fairly nice sky and light fall off in C1 while pushing the image 1.5 stops. (Rather quick edit attached.).