http://pastebin.com/Ru5ZKyYB
Ok, so I created a lua file to determine the solution for every initial value of $09 given perfect menuing. That pastebin link is the result.
Using that, I found that Deign's original solution could be achieved with perfect menuing with seed 90 (0x5A)
Using this info, I then made lua run a game with this seed and play to the end.
The result is that Deign's run, if played on bsnes with perfect menuing, would be 1615 frames long. This is considerably longer then the snes9x 1.43 version, but is still quite a bit shorter then in Spikestuff's submission.
So the 1615 frames can be considered the ideal re-sync of Deign's run, and any run shorter then that would be a true improvement.
I'll try to find such a solution, it shouldn't be too hard now that I have some of the machinery in place.
For anyone interested, here is the script:
http://tasvideos.org/userfiles/info/28726429975577947
You'll just need to make a savestate at frame 0 and save it under the correct name.