SPEA2$^+$: Improved Density Estimation in SPEA2 with Provable Runtime Guarantees