stabilizing the smooth

There are certainly many improvements that we can make to the general approach of normalizing and locally compacting pangenome graphs. But, what we have here is a stable, scalable method. This checkpoints a lot of work that's happened since v0.4.