I think I’ll use TIC80 as well, here is how to get it to the size limit:
To export, use the PRO build and use export linux|win filename alone=1. This will strip out the editors and keep the binary below 3MB.
export linux|win filename alone=1