Discrete Diffusion Inference-Time Control with Nested Sequential Monte Carlo — ThinkLLM