Оказывается не так давно вышел Demul 0.5.5. Проверил Code Veronica на нем. Действительно, Dolphin’у еще есть к чему стремиться.