VSharp cancellation

[Domonion]

Description

Currently cancellation does not work. Even if you cancel process from progress indicator - nothing happends, tests are still generated.

Example:
Expected behavior

Tests should be cancelled by the moment cross is hit.