Refactor + fixes

integrate coverage_factor into TCS formula (0.85+0.15*cov), unify severity labels, upload.py error handling, dead code cleanup, TextHighlight regex fix, InconsistencyList TYPE_LABELS complete, Swagger description updated

RSS verification panel, benchmark split (100/150), remove Ollama/REBEL from frontend, sync Qwen3 labels

Testes + refactor

Refactor and eliminate non-relevant files

Frontend cleanup

Frontend multi-model — model dropdown in Analyze, flexible 2-selector Compare tab, modelLabels utility