Rework pebbling resolution and parts of proof-checking chapter