Describir: Lazy Product Discovery in Huge Configuration Spaces