Minimum viable light client via FlyClient-style checkpointing

I proposed a grant here