more robust build_session protocol: allow prover process to terminate/crash without build_session_finished message;