Save and load proof now handle extraData, but the delta doesn't seem to
be handled correctly by the proof checker.