Minor: on success, print the total number of tests (long-standing request
from Thomas).