[analyzer] properly optimize binops and unops while propagating constants
[analyzer] activate local DCE, but run it in reconstructed AST mode because that seems much easier