This allows the output of the extra-coverage tests to be checked using the normal run-tests script.
The function and corresponding command-line option are only enabled for the coverage build. They are used to exercise uPy features that can't be properly tested by Python scripts.