Checkpoint: Durability

Crash safety and fast restart in Go. The same shape as Python, with Go-specific snapshot-then-save instead of fork.