Advancing Sequential Monte Carlo For Model Checking, Prior Smoothing And Applications In Engineering And Science