Describir: Rationally reduced libraries for combinatorial pathway optimization minimizing experimental effort