Better orphans computation

Previous version was too expensive (calling the solver), and too strict
(duplicated checks done at other places).

This should be faster and easier to understand.
Improved stats display
Merge pull request #1298 from OCamlPro/fix-orphans-again

Fix performance and simplify orphans computation