Fixed problems where solver hit an infinite loop, PathMin failed when
the minimum was too flat, incorrect logic in fixing solution ambiguities.
Also set Commutation info as a flagged diagnostic.