Zaslat SMS: Limit theorems for sequential MCMC methods