F9 should record at native resolution rather at startup resolution

[ToxicFrog]

At present, using F9 to record the screen records at whatever display resolution TIC-80 originally started at. So (e.g.) tic80 --scale 4 will produce a 1024x576 (the 960x544 drawable area plus the screen border) recording, while tic80 --scale 2 will record at 512x288, and will do so even if you have resized or fullscreened the window after startup and before starting recording.

IMO, it should always record at the native resolution of 256x144. This means you no longer end up in the surprising state where the recording isn't at native resolution but also isn't at the resolution it's actually drawing on the screen; it also results in much smaller file sizes, and since the actual framebuffer is a fixed 240x136 there's no fidelity benefit to recording at higher resolutions anyways.

If a higher resolution is needed for some specific purpose (e.g. you want to display it on a website and you don't trust CSS scaling to do the right thing), it's easy to do a lossless integer upscale on the recording post hoc.