Inference-Time Scaling of Discrete Diffusion Models via Importance Weighting and Optimal Proposal Design