Fast Sequential Monte Carlo Methods for Counting and Optimization