TestBenchRunner: show paradigm GUID correctly. Log if DesignSpaceHelper outputs no Configurations