spec_tests.py:  Replace → with tab when dumping json.