20190904.6

Changes:

• b759431 Fix TLC module override of Json module to handle TupleValues.
• 3a30da2 Push operator AssumeEq out of SVGTests into TLCExt module.
• 95f08a6 Run module tests from ant build script.
• 821544e Format build.xml.

This list of changes was auto generated.