Run test cases with `make check'