Merge pull request #17 from strazzere/master

Properly handle UnknownValues in filled-new-array
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