Now we can run hosc
Reduce let x = A in x destructively

Also added several parameters for disabling
destructive transformations.