added verbosity option to ghci magic