Add print stacktrace option to missing UBSAN-cases. This helps interpreting pipeline results. See merge request !50