Refactoring Associative engine

This PR is refactoring work on the following:
1. Move functions that compute associativity from DSASM.Executive to AssociativeEngine.Utils
2. Refactor UpdateDependencyGraph  such that it only returns the affected graphnodes and only marking them dirty after the call to UpdateDependencyGraph.

This is a step towards cleaning up the assoc engine.
This PR also adds the stubs to implement static analysis on VM graphnodes.

No testcase required as there are semantic changes.

PTAL @ke-yu @lukechurch 
Yes the function guarantees it to be non-null