Fast, robust, accurate diffing