Regenerated doxygen
The tests now support controlled crashes, but do not fully use this feature.