I've never heard of "stretching" a bolt
Measuring bolt stretch is actually the most precise way of pre loading a bolt. Of course the method has its limitations in that you need access to both sides of the bolt to be able to measure with the tool/gauge (micrometer). Robinson apparently teach the procedure in their factory maintenance school.
Maintenance Training The Robinson Way - AviationPros.com