Added verbose code generation functions which produce Arduino code that prints additional information to the serial port.
Added the write_arduino_code_verbose() function to the exposed functions for code generation.