I guess it depends if it's likely to get dirty or very wet - some of the in-situ ropes we've left in have become very grubby from exiting after digging, and without regular cleaning the mud gets forced into the sheath weave, making it more difficult to get toothed cams to engage. Similarly on descent it makes the ropes much stiffer and harder to fit into a descender. So a thick rope could become a bit stressful after a few months of use. If it's likely to stay clean, it may not be so much of an issue, but I hate thick rope personally so always try to stay low if possible - though appreciate if it'll be used regularly and unsupervised, damage may be an issue - or some heart-stoppers if it's less experienced users and there's a rebelay or similar? I'm sure 10mm would be enough for most stuff.