Added a few basic tests, updated NullAnnotator to change error
output to use DEBUG(dbgs()) rather than errs().