BinRel: Always returned cached one/zero after semiring operations.

The check and return of cached zero/one was not done uniformly across operations.
Newton: with PPP_DBG set to >= 0, Newton reports the max and total # of newton rounds.
Use tcmalloc from gperftools in Example/cprover executables