Run on Android with

1) Build the tests.
2) adb install <tree root>/out/target/product/<name>/data/app/CRTests/CRTests.apk
3) adb shell am instrument -w com.hp.creals.tests/android.test.InstrumentationTestRunner

The last step takes around 10 minutes on a Nexus 5.
(CRTest is quick, SlowCRTest is not, especially not the final trig function
test.)

Note that Random seeds are not set.  Hence repreated runs should improve
coverage at the cost of reproducibility.  Failing arguments should however
be printed.

We expect that this test is much too nondeterministic to be usable for any kind
of performance evaluation.  Please don't try.