I decided to take a look at this TAS and see how well it would sync for me. It did not go well:
1. Off the bat the game would crash on startup with
The type initializer for 'System.ConsoleDriver' threw an exception. ---> System.Exception: Magic number is wrong: 542
This is fixable (at least for me) by doing
export TERM=xterm
2. The game appears to softlock on startup. It appears to be time and thread related, if I set it to uncontrolled time, the game starts up as expected. This appears to happen regardless of the wait timeout choosen (using Infinite Waits as specified in the annotations doesn't help it seems). Starting the game up attached to gdb reveals many threads spawning, and more interestingly, two threads seem to be constantly waiting on each other (and the game appears to be softlocked at this point).
Trying the game on the latest libTAS master does allow it to avoid this softlock, but it just desyncs quickly, and doesn't even appear to be consistent desyncs. I would fear this TAS is going to be rejected just due to sync issues.