Rider generation timeout UI

**Description**

Currently generation timeout for VSharp process is hardocded for 10 seconds. The UI looks like this:
<img width="234" alt="rider64_nYNpKgetDB" src="https://user-images.githubusercontent.com/12771085/206156612-ae02cc16-35bc-4e36-8ba8-3d583ec856b1.png">

It is essential to provide user an ability to set generation timeout.