Sampling for Quality: Training-Free Reward-Guided LLM Decoding via Sequential Monte Carlo