Investigate brokeness of our Tor Browser debug symbols
There are rumors that our debug symbols for Tor Browser are essentially useless (see: https://trac.torproject.org/projects/tor/wiki/doc/TorBrowser/Hacking section Using Debug Symbols) and IIRC Tom hit that problem too while debugging his memory hardening patches. We should investigate what is going on and fix the problem(s).