Improve pebbling proof-checking chapter and rename to proof-processing