This should use `sess.opts.debuginfo` instead of inspecting `debugging_opts`