Allow to disable inspection of global store in GC

This avoid a big performance impact, at the cost of soundness. It is
especially useful when building the global environment.
Add stats of function called
Fix variable allocation in PS-k-CFA