Brought more tests up to date
Implicit functions are still global
Merged similar code for if/while/switch/for init

This also fixes symbol table lookups for for-init decls.
We were giving the symbol early (similar code to fold_symtabe_scope)
More robust test scripts + fixed layout checker