Makes me think about an alternative one that is language specific and uses genetic algorithm.

You start with your large repo case

1. Use language specific mutations that both add/delete

2. Crossover

3. Test fitness to see if they retain the compiler bug and sort by code size

4. Keep top N

5. Repeat

This allows the code temporarily get larger to get out of local minimums.