Достаточно кардинальный путь был бы с переходом на asm.... в плане уменьшения размера файла.....

А вы писале на Асме? Если да, то странно что у вас есть такие вопросы. Начнем с мелочей. Когда вам нужно запихать куда-то цифру, вы заводите переменную. На асемблере для этого можно посмотреть, авось найдется регистр в который это добро можно упаковать.... Второй момент. Я проводил эксперементы над компилятором С++. была "написана" пустая программа. если перевести на паскаль получим

Begin
End;

После этого я посмотрел код на асме, который можно было сгенерить. Не говоря не о чем другом, все основные регистры процессора сперва помещались в стек, и следом извлекались из него. Как вы понимаете этого не нужно .

Написать хороший компилятор? Не думаю что это такая уж тривиальная задача, перевести смысл кода который закладывает программист в машиный язык... Учитывая что программист может специально , для своих нужд оставить некоторые участки кода, которые компилятором могут быть расценены как левые и которые он решит удалить...

Я не говорю что он плохой ))
Лучший это будет человеческий мозг, но боюсь что времяни он потратит значительно больше :)