add `check' target for regression tests