Now that we have unit tests, these can be invoked by the Makefile.