Optimized LLVM bytecode look like a good candidate for the job. Note that I'm not suggesting this as a spec, but as an example of possible solution.
It's true that it couldn't be automatically decompiled to something equivalent to the original D source, but it does contain type information. Its human readable form (llvm assembly language) is easier to understand than assembly.
