It seems the 3D Flash market hasn't stopped expanding!
There is yet another library which claims that it "can render in realtime over 50.000 polygons with texture maps, reflection maps, transparent materials, an infinite number of lights and shadow planes". And it probably can. Obviously just don't expect it to be able to do it more than once per second.
Here be the link:
http://www.sophie3d.com/
Weirdly I get lots of runtime exceptions on that page, but the example still runs.
