Add several debugging prints, triggerable by verbose command line option