Is it necessary to stone double-set triggers for a smoother action?
It is not necessary. Careful stoning might improve smoothness a tiny, barely noticeable bit since the set triggers are already pretty finely finished, but unless you are careful about how you stone them, you can actually do more damage than good.