Fixes #50: RandomSearchCore docu and cleanup.