Fix hanging issue in check_symbol

Under some conditions the check_symbol.py script will hang. This should fix that.

I also fixed the --nocolor option (output was always color).

Note: this MR also includes the fix from !376 (closed) and supersedes that MR.