D contracts are arbitrary code snippets. So they're Turing-complete, therefore it's still uncomputable.