C++: Update NDEBUG usage in death tets