Not all tests are actually run, because nosetests is unable to properly
handle the funny way tests sometimes generated.