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:

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

---

This change is