$Q\sharp$: Provably Optimal Distributional RL for LLM Post-Training