Remove some now-unused DominanceFrontier methods.