Added erratum for constant instruction optimizations.

The constant instruction optimization is wrong, should be set_val not set_var. I also added some text to clarify when these optimizations should be applied, as this is not fully described in the text.