proof-state recorder tweaks and fixes

These patches are already part of !114 (merged), but split out here to move ahead without waiting for the other parts !114 (merged) to be revised first.