The stretch is negligible compared to the housing compression - barely enough to matter much over the life of a brake cable. Guitar strings are under constant tension and are constructed for tone first with longevity an afterthought. I always figured the stretch on my new bass strings came mostly from the wrap getting “tighter” around the tuner but you are probably right they do stretch as well.
I should have added “enough to matter”, point taken.