One more thing that I forgot to mention:  The results in the paper make me curious to know about the complexity status of computing finite-type invariants of homology 3-spheres.