Networks of Automata fixes and visualization, and MCTS search improvements

[danbryce]

Thanks for making contributions to dReal! Before opening a pull-request, please check the following things:

• [x] Run make and check the code compiles. Please try both of gcc and clang.
• [x] Run make format to run clang-format over your contributions.
• [x] Run make style and check there is no style error.
• [x] Follow our Git commit message convention.
• [x] Ensure the PR description clearly describes the problem and solution. Include the relevant issue number if applicable.
• [x] Rebase your commits based on master branch of dreal/dreal3 repository.

---

This change is