Avoid unsound optimization for complex division.

Found using random testing.
Document not yet fixed optimizer bugs found using random testing.