Diverse, Top-k, and Top-Quality Planning Over Simulators