runtime: fixed python 3.5 issue when producing diffs cli: added test cases, and some minor backwards compatibility fixes cli: added -integrity option that checks the model for integrity violations ast: set filename and line number on navigation nodes