Add timeout option in `run` and `run_from` methods

[arullier-cs]

Hello,

This is a suggestion to detect when the symbolic engine got stuck. For example, when the user provided a too ambitious setup of from the symbolic engine, it could help to figure out and make some changes in the strategy.

Thanks you,