Scaling autoverification to all future software.