Then I need a --debug option for the tool. I need a way to look at the result of the parser.
Currently if I call kast it returns the ugly maude prefix notation, which is hard to read.

--verbose is ok, because if you use it to print statistical information, you can't use the output anyway. The resulting term would be corrupted anyway by the statistical information.
So... other suggestions?