Refactored `make check` target

This introduces "phony" check-* sub-targets instead of the previous
batch-mode operation.