Requested feature: Support Kani's --output-format=terse option.
Use case: Ease of viewing the CI log.

Test case: Here are two views, one w/ terse and one w/out -- https://github.com/weaversa/aes-rust/actions/runs/3388002019/jobs/5629452264