Barrapunto

Las optimizaciones nunca se hacen en tiempo de compilación a bytecode. Siempre se hacen en tiempo de compilación a lenguaje máquina. Por ponerte un ejemplo, en C# ni siquiera una clase que tenga un método private y que no sea llamado nunca, se elimina en el bytecode; Se elimina al pasarlo a lenguaje máquina (hay una opción en mono que es precisamente Dead Code Elimination). Esto no se hace simplemente porque no tiene sentido hacerlo en el analizador sintáctico/semántico/léxico. Y esa es de las optimizaciones más sencillas, así que optimizaciones más complejas seguro que tampoco las hace.

Que un proceso sea de baja prioridad no significa que nunca entre en funcionamiento excepto cuando no hay ningún otro proceso para ser ejecutado. Simplemente que entrará en ejecución menos veces si hay procesos de más prioridad ocupando el procesador. De hacerlo, el GC no entraría nunca en ejecución y tendrías un problema de Starvation. De todas formas, el GC no es un proceso aparte, independiente.