Add compiler option to enable additional branch optimization steps

[mkruselj]

This allows code like:

define TEST := 5

on init
   if TEST > 7
        declare some_var
   end if

   message(some_var)
end on

to error out because the condition is false