Allow the diff engine to determine snapshot isolation needs and make human-readable diffs

Human-readable diffs are WIP, but as functional here as anywhere. Once this is on core team with other schema stuff I'll finish up the planned improvements and hook them into VEM. For now, this is mostly about the snapshot isolation bit.

Wait for Jenkins Blue™ to merge.