See the description for more information. This takes place of manual
diffing that I've been doing over the years, which is error-prone and
time-consuming.
Note that a successful diff doesn't mean "we're good!"; other things could
have failed. This specifically checks xmle symbol sets, nothing more.
DEV-15069