Actually, 225/45-17, and 245/40-17 have almost the same circumfrence. OK, there is about an inch difference which corelates to less than 1% difference in speed.
Here is a really great tire calculator for this stuff.
http://www.miata.net/garage/tirecalc.html
And actually, it is the 245/40-17 that Falken doesn't make. I think you have to go to the Kumho to get a 245/40-17.
The big tire/gearing advantage is in the 16" race tires for the WRX. If I am not mistaken Hoosier makes those 215/40-16s which have a diameter that is almost a full two inches smaller than the stockers or the 17"s above.