fix 10468, propagate optimization level as rustc::driver::session::OptLevel