Testing framework: add steps bound

As reported in #1280 (closed), the interpreter for the testing framework can loop forever. This is particularly problematic in mutation testing.

This MR adds a bound on the number of steps that the interpreter makes (calls to eval_ligo).

• has a changelog entry