My advice pointing you to Synthmaster was based on your stated desire to create "exciting synth leads". Omnisphere can do that, but it's not its forte. Personally, my default for such tasks is Zebra, but that's more expensive. Plus you said "prog", and when I think "prog" I think classic synth leads by the likes of Rick Wakeman and Keith Emerson. Synthmaster does that stuff very well, as evidenced by Nori Ubukata's spot-on emulations.
But then later you switched gears and asked about pads. Had you
led with that question, I'd have said "Omnisphere!!!". Pads are what Omnisphere was made for.
Well, technically it's what Omnisphere's predecessor, Atmosphere, was made for. But all of Atmosphere's great pads are still in there. Plus Omni's got some really sweet organic string pads, classic synth strings and choirs that are most definitely prog fodder.