Include test cases and write test runner

Let the whole test suite pass for CI.