[Feature] add a Generate-and-Test search strategy which can easily be combined with others, or can be triggered when the search space reached a given size.
Merge branch 'feature-GaT' into develop