Added support for scripts with labels
Various improvements in test/vloghtb
Added opt_const support for simple identities