* Add colors to Branch representation in Tableaux, try to optimize it.

* Improves Tableau with a weight-based heuristic for picking substitution. Also improve printing of Branches with colors, for additional reading clarity when debugging.

* scalafix, scalafmt