Added VERBOSITY option to test
Added TODOs
Added display information at higher verbosity level
Better pretty-printing of patterns
Made a test's results more clear