What is the state of the art of compilers here? What size of project are we speaking here?

What is the experience faulty decompilation, and the existence of bugs in the binary?

Could one decompile a binary to a more modern language than C?