Putting the Value Back in RL: Better Test-Time Scaling by Unifying LLM Reasoners With Verifiers