[Typer] [Git][monnier/typer][unification] * tests/utest_lib.ml (for_all_tests): Re-enable backtrace catching.