I wouldn't assume that the spring has stretched. Chances are that's the length they were made.
The only 'guideline' I know of is you want the installed length not more than 20% more than the free length.
If you do the math 78 mm is 18%, 75 is 22%, and 80 is 16%. I think the numbers are close enough you could use either.
I think I'd go with the 80mm springs. They'll give you less trouble installing.
Thanks for the help; I will get the springs ordered soon. I will be going for the 80mm springs.