Add logging for openning phase of proof generation#400

Al-Kindi-0 wants to merge 1 commit intofacebook:mainfacebook/winterfell:mainfrom

Al-Kindi-0:log-opening-phaseAl-Kindi-0/winterfell:log-opening-phaseCopy head branch name to clipboard