Make computation of proof size lazy.