Stub compilation causes harmful AST changes

JavaStubGenerator causes verification to occur in phase conversion instead of phase class generation. Unfortunately, verification modifies the AST and even drops some information (e.g. labels on implicit returns), leading to troubles for transforms down the line. (In order to write correct transforms, one has to have knowledge about which AST modifications have (not yet) occurred.)