Unifying and Certifying Top-Quality Planning