Progressives and socialists made historic gains in Democratic primaries. But what happens in November is what really matters.