Merge #12757: Make doctest skipping in -OO mode work with unittest/regrtest -v