Improvements to tools/checkstack.py.