Emulator used: BizHawk 2.9.1
The game is available here: https://tic80.com/play?cart=1097
If you do check out the developer's stuff, I gotta give a small NSFW warning on some of their works outside of the TIC-80 website.
I've had this completed but probably not refined TAS input file for around for about a year. I intended to come back to this to see if there's something I missed when it comes to finishing stages early. The air dash is fast but meter management is important to keep going fast. I just haven't had the drive to come back to this for a while. With some interest in TASing TIC-80 games right now, I might as well put this up for others to see if they can improve on it. I'll accept co-authorship if anyone does go through and improve things. The game is sync friendly so single stage improvements are easy to implement.