_osborne/i: Implement some heuristics to prevent automatic evaluation of trig/hyper functions

fixes #7761
distribute dummy on Add in _osborne

Rather than make the osborne and the osbornei roundtrip by dividing
by d in osbornei to undo the multiplying in osborne, the simple
replacement of d with 1 is used instead.

If the dummy is not distributed, arguments that looked like the addition
of two terms no longer appear so and some transformations (like TR12)
then fail.
remove verification comments; remove residual unevaluated
Merge pull request #13 from smichr/trig

distribute dummy on Add in _osborne
Allow infinite Ranges
fix pretty printing for infinite Ranges
Merge pull request #7788 from skirpichev/7761-fix-v2

Fix for #7761, a second attempt
Merge pull request #7741 from hargup/infinite_range

Allow Range to accept Infinites
PR #7792 made `x < I` different from `I < x`: fix and add tests