Update

I had to take the size 9 shoes back and switch them for 9.5.  I can chalk half a size up to differences in manufacturer's sizing, except that my shoes from last year really are obviously too large for me now.  So it is possible that my foot shrunk 1/2 a size, but if that was from weight loss or barefoot running, I don't know.  On the bright side, I have a pair of winter shoes that fit.  Yay!