Budget-aware Test-time Scaling via Discriminative Verification