@check and @check_tests

[Akim Demaille]

Is there any reason not to merge those two guys?  The idea seems
to be that check_PROGRAMS etc. shall be run first.  Any reason to
have this?