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.