t-352.3
Currently there's one timeout for the whole coder run (default 600s). Long verify phases can eat into work time unpredictably.
Add separate timeouts:
This gives better predictability and prevents a slow test suite from consuming the entire budget.