fix IE10-related issues, also fix specs.html
improve DOM.watch
improve DOM.watch for ie