COMPILER: more debug info
Compiler: fix to constant depth limitation + some cleanup
Merge branch 'master' into bound

Conflicts:
	compiler/generate.ml