If they blocked a browser because it has tor built in, I assume they would also block those binaries:
"IMPORTANT: These binaries are provided by anyone who are willing to build and submit them. Because these binaries are not necessarily reproducible, authenticity cannot be guaranteed. For your consideration, each download page lists the GitHub user that submitted those binaries."
Brave was most likely blocked to prevent people from using TOR to bypass their office firewall filters (e.g. on NSFW sites, etc). I'm doubtful they will be scrutinizing every single binary that happens to be on OP's workstation, though I can't say for sure what kind of office culture they have, of course.
"IMPORTANT: These binaries are provided by anyone who are willing to build and submit them. Because these binaries are not necessarily reproducible, authenticity cannot be guaranteed. For your consideration, each download page lists the GitHub user that submitted those binaries."