Speed up CI

[RagnarGrootKoerkamp]

Ideally <1min.

Maybe strip:

• latex compilation
• zip

Or we could make them only run with probability 5% or so (we can bisect / git blame when needed)

[mpsijm]

It seems like running TLE submissions in test_problems.py is also a large part of the time spent in tests.