Doctests are now verified as part of the generated benchmarks.