Fixes findProperty bug in the compiler and simplifies handling of IR.Call nodes.

The type information gatherd by the verifier for findProperty can return the actual object instance where the property is found.
In the case of global objects we must also make sure that the global object script is executed.