Just mark eliminated configurations instead of shrinking the configuration array.
Just mark eliminated configurations instead of shrinking the configuration array.

This avoids some overhead, as well as any possible index adjustment omissions in the code.

D-Programming-Language/dub,Geod24/dub,gedaiu/dub,grogancolin/dub,rjframe/dub,Flamaros/dub