Refactor Verdict getVerdict to List<Verdict> getVerdicts

[ferpasri]

Refactor TESTAR internals from a single Verdict getVerdict to List<Verdict> getVerdicts (oracles, protocol flow, reporting, tests).

• Reports all possible Verdict issues per state instead of losing information trying to join Verdicts into a single “highest” verdict.
• Enables per‑issue reporting/logs
• TESTAR internally manages the deduplication of Verdicts

Others:

• Add a feature to ignore previously detected Verdicts
• Remove old disabled Record mode code
• Move ExtendedOracles logic to DefaultProtocol