[alias] change format of output when running tests

Instead of the statement table emitted at the end of the analysis we
rely on verbose messages during the test. This gives us a more
readable per-instruction and per-function insight into the intermediate
analysis results.