DXR is now uber-fast. See bottom of search pages for timing info. Give it a try. We have a few more bugs to fix before we jump into fixing the UI.