Fix path-dependent failures in assess-artifacts test (model-checkin…

…g#2849)

Shorten the tables frames in the `expected` file for the
`cargo-kani/assess-artifacts` test. Otherwise, the test will fail when
running the regression suite in a shorter-than-usual directory path
(e.g., `/tmp/kani`). Came across this problem this morning when
preparing for the release.

tests/cargo-kani/assess-artifacts/expected

@@ -11,9 +11,9 @@ Analyzed 1 packages
  none (success)        |               2
  unsupported_construct |               2
 =========================================
-======================================================================================================
+==========================================
  Candidate for proof harness   | Location
--------------------------------+----------------------------------------------------------------------
+-------------------------------+----------
  a_supported_test_from_tests   |
  a_supported_test_from_the_lib |
-======================================================================================================
+==========================================