Make GC optional and add more verbose output

[michel2323]

• The GC is enabled for the call to Enzyme by default
• Improved the output with verbose=1
• Add a write_checkpoints option to write primal and dual of each step to disk