Latest gnash seems to work fine with flash 9 games. Other flash players I've seen are either closed source or too bad.

It can be TASed in libTAS. Here are the links to what @greysondn has modified to make the sdl version work with libTAS.

And here's what was forked: https://github.com/strk/gnash