Timeouts for concrete execution in UtBotSymbolicEngine are not calculated

[Domonion]

Description

Currently class UtBotSymbolicEngine relies on coroutine scope cancellation and always passes as timeout for concrete executor 1 sec. When cancellation happens - it is not propagated in Concrete Executor because invariant for Instrumentation Process is that it cancels itself and always work provided timeout.

See UtSettings.concreteExecutionDefaultTimeoutInInstrumentedProcessMillis.

We should either:

1. Propagate cancellation inside instrumentation process and change invariants - discuss it with @sergeypospelov
2. Calculated desired timeout in UtBotSymbolicEngine.