Added log prints on failure of some normalization checks.
Add Polyhedron::ToString().
Add logging to debug Safari browser test failures.