More debugging output

Some debugging output options that were useful yesterday.