Checkpoints: stateful restore & repair `INS_IPC`
This MR enables checkpoints to perform a stateful save/restore, not assuming anymore that checkpoint functions are pure. It also uses this mechanism to restore instructions' IPC, since they are class attributes.