`lake exe` doesn't print anything if executable segfaults

[Edit: initially I thought that the executable wasn't being executed, but that isn't the case, so some of the comments to this issue may seem confusing.]

I'm using the released v4.22.0-rc3 toolchain with Mathlib https://github.com/leanprover-community/mathlib4/commit/47f3e6393d35a7c9579fda04fa07bc81aa18a4b9. If I use the small diff

diff --git a/Mathlib.lean b/Mathlib.lean
index 250d4f05c9..ee436868ae 100644
--- a/Mathlib.lean
+++ b/Mathlib.lean
@@ -2826,7 +2826,6 @@ import Mathlib.Computability.Reduce
 import Mathlib.Computability.RegularExpressions
 import Mathlib.Computability.TMComputable
 import Mathlib.Computability.TMConfig
-import Mathlib.Computability.TMToPartrec
 import Mathlib.Computability.Tape
 import Mathlib.Computability.TuringDegree
 import Mathlib.Computability.TuringMachine

to unbreak the build and run lake exe mathlib_test_executable, the executable segfaults but lake prints nothing to indicate this, even with --verbose.

The reported entry point is lake exe, using lake exe mathlib_test_executable; reproduce that command with the v4.22.0-rc3 toolchain and the supplied Mathlib import removal. Trace the executable-failure path, including --verbose, and consider the work complete when a segfault produces an informative diagnostic.