Remove superfluous module from imports
Updated command line option for output to improve consistency
Add module for plotting completness and cleanliness from verification trees