I've been playing around a bit, and FWIW if anyone is interested, have come to a couple of conclusions. First off, pure nickel strings do NOT sound as big as nickel plated for distorted tones. I think maybe they work well for some types of cleans, but with distortion, IMHO there isn't enough clarity to cut through.
Second, I prefer the 9s in every way, I think. With 10s, to compensate for their thickness, I had somewhat low action. When I restrung with 9s, I had a lot more buzzing and they didn't sound great at first. But what I couldn't do with 10s that I found I could with 9s is raise the action and still play comfortably. I can't really imagine having bigger tone.
Of course, it certainly seems we all hear things a little differently. Single note runs? Maybe the thicker strings do sound a little bigger in some places. But for me, 9s just feel and sound right. And yes, I'm tuned half a step down to Eb.
If I can ever figure out how to record high quality clips, is there anyone interested in hearing the difference between different types of strings?