Fixed the progress display while tracing; also display list of timeouts

[msaaltink]

Some lines were not being erased properly under --trace. Fixed that.

Also added something to note the timeout failures under --trace and to report them when the proof effort is finished. This could be better, as it only shows the source line of the failing assertion, not the whole backtrace, but it is better than what we had before.

[cursor]

You have used all of your free Bugbot PR reviews.

To receive reviews on all of your PRs, visit the Cursor dashboard to activate Pro and start your 14-day free trial.

[andreistefanescu]

@claude can you run cargo format --all on this pull request?

[andreistefanescu]

👍

[claude]

Claude finished @andreistefanescu's task in 37s —— View job

---

Running cargo fmt

• Gather context
• Run cargo fmt --all
• Commit and push changes

cargo fmt --all found one formatting change in boogie_wrapper.rs: a trailing inline comment was moved to its own line. The fix has been committed and pushed to the branch.