Add Method invocation optimization

Also,
* Add NopOp (finally)
* Add insert for MethodBackedGraph
* New optimization strategy that re-executes method
* Minor fixes and refactorings here and there