_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
Merge pull request #7788 from skirpichev/7761-fix-v2

Fix for #7761, a second attempt