2d Re-hash all the other blocks at trivial difficulty
3. Checkpoint a particular forking block
These steps aren't necessary. You could prune everything down into one block with just txouts and use that as the genesis block itself.
I agree that makes more sense long term operation. The first solution "seems" easier only as a first step towards your proposal.