improve the reactivity of the IDE
On a machine with many cores, the goal of producing a backlog of verification conditions seems to cause the IDE to freeze, which is a bit tiresome for the user. It would be good if the IDE could wake up every 0.1 seconds, even if the backlog is still under construction.