[Typer] [Git][monnier/typer][elab-tests] Oops: add back running tests in the order they were inserted.