I am worried here. Especially with the pixelated one. A program like Virtual dub takes your image sequence and just assemble it. If you have some sort of pixelation is not because the program, it is because the settings you are giving.
Prepare the files.
Let's start from step 1. Not every program will read a raw file, first convert it to something more useful. JPG to be specific.
Irfanview does a pretty good job batch "converting" RAW images from Nikon and Canon into JPG. I ignore if the Sony ones work as well.
Resample all images into a specific dimension. If you just want a plain animation of the sequence you can even resample and crop the images to the desired output.
You can even sharpen them a bit, and rename them to a numbered sequence... and you can also have a chance to sc--w it on this step putting too much compression on the JPG files, be careful there.
Now take VirtualDub2 and pull the image sequence, assign the correct frame rate and codec and export a video. Export as mp4 h264. Done. VirtualDub has not been updated since ages, but VirtualDub2 has.
If it still does not work as desired... (I do not see how), take Davinci Resolve, which needs a bit more resources, on the disk and on the system, but it is a free state of the art program and just pull the first frame of the image sequence.
If you prepare your assets in Irfanview with more resolution, you can even stabilize it on Davinci Resolve.