Add a timeout during sequence execution to avoid hanging

[rachelt44]

Is your feature request related to a problem? Please describe.

Certain sequence executions may hang, e.g., due to non-terminating threads. Test generation might get stuck in such situations.

Describe the solution you'd like

We need to perform synthesized sequence execution from a separate thread and consider it failing if it reaches a certain timeout (e.g., 120 seconds).

Describe alternatives you've considered

A clear and concise description of any alternative solutions or features you've considered.

Additional context

Add any other context or screenshots about the feature request here.