They certainly do stretch under high tension.
I quit using Revolutions on the drive side rear because of the stretch.
If you use the DT Swiss calculator it automatically rounds down spoke lengths in almost every calculation. For Revolutions it now rounds down an extra 1 mm for drive side rear spokes. It did not round down the extra 1 mm at the time I built those wheels.