GitLab

We use make test as the measure of correctness.
This laxity has let bugs creep into several systems.
This commit changes our target to always run expensive
tests, unless one specifically runs `make test_short`

(we would do well to remove most if not all timing--
that's usually what makes tests take a long time.)