Change the test harness and test cases

Now we construct the call graph in advance. The PDGPartitionChecker
test is still broken but other tests pass.

See #46.