CARVE: Verified Expansion for Variable-Length Generation in Diffusion Language Models