run benchmarks in a relatively fast test mode, as part of run.bash/all.bash

R=rsc
DELTA=293  (224 added, 0 deleted, 69 changed)
OCL=32917
CL=32944
diff --git a/src/run.bash b/src/run.bash
index 3801e4a..0210d9f 100755
--- a/src/run.bash
+++ b/src/run.bash
@@ -53,6 +53,10 @@
 time ./run
 ) || exit $?
 
+(xcd ../test/bench
+./timing.sh -test
+) || exit $?
+
 (xcd ../test
 ./run
 ) || exit $?