It's not stretched too much, I ran 235's on 9.5 before and the stretch wasn't that big either.
Another factor is the tire brand, some show less stretch than others. I'm debating if I want to go 255/40 but since I only daily my car, I may not need that much wide of a tire that will just end up...