Actually commit the proof size comparison