[dfmc] Remove unused optimization level stuff.

This hasn't been used since 1997 or earlier.
Merge pull request #744 from waywardmonkeys/remove-optimization-level-constants

[dfmc] Remove unused optimization level stuff.