Returns the setting that controls whether proof attempts are printed during CCG analysis
Examples: (get-ccg-print-proofs) :get-ccg-print-proofs
See See set-ccg-print-proofs for details.
