I've got a 520 and 710HSSR (no 930), and feel that either knife would probably serve your needs very well (I'm not convinced the 930 would be as great, but again, I don't have one).
For a knife its size, the 710 carries extremely well, and actually feels much more compact in the pocket than the 520. D2 may also hold up better for your cutting than 154CM. The thumb studs are quite close to the handle when closed, though - I don't find this to be any issue when using the knife with a bare hand. If you need to open one-handed while wearing a glove, it's more difficult (or nearly impossible, depending on the glove).
The 520 doesn't carry nearly as nicely as the 710, not only because it's bulkier, but also because it tends to shred your pockets after time. Then again, those pocket-shredding scales do provide a better grip while you're working than do the scales on the 710. And unlike the 710, the 520 is a breeze to open one-handed, gloves or otherwise.
My personal pick would probably be the 520, though either would serve you well. (And I wish that they made the 520 in M2 or M4...)