Bug 1063924 - Optimize check_spidermonkey_style.py and remove some cruft. r=njn