Making RandomConfig work for multiple variables. Revamping Benchmarksgen and introducing GenerateHitRateExplore