Program's execution cost could exceed budget

### Simplex version

0.0.10 and later

### What happened?

https://github.com/BlockstreamResearch/simplicityhl-std/pull/54#pullrequestreview-5178376091

### Minimal reproduction steps

``` bash
simplex build
simplex test --test-threads 16  # For example, on my machine it works with the raw simplex test command
```