Fix BinRel::star. The star cache must use bdd, isTensored as the key.

star uses a cache to be fast. The key for the cache was only the bdd stored in
the binrel. Changed the key to the pair (bdd, isTensored) because we otherwise
get cache hits for the wrong type of BinRel (tensored/untensored).
[tiny commit] Print even more info in NewtonCompare run.