Mostly complete VarianceDiff and tests.