Actually, the last point can be overstated, because the optimizations he applied created a functionally equivalent state machine to the non-optimized version. I

Actually, the last point can be overstated, because the optimizations he applied created a functionally equivalent state machine to the non-optimized version. If it overfitted, the original GA-generated algorithm overfitted as well.