[Typer] [Git][monnier/typer][elab-tests] 13 commits: Make eval tests throw on a compilation failure.