Improve console messages for dynamic analysis

This closes #11.