ChangSetCompute for VM graphnode

1. Implement the change set computation for VM graphnodes
2. Parameterize core to the compile function so we can optionally
compile only for static analysis