Evaluate complex assumption on functions.

Fixes issue 3991: Conjugate transpose of scalar exponential
http://code.google.com/p/sympy/issues/detail?id=3991
Add some more tests.
Merge pull request #2423 from jrioux/assumptions

Evaluate complex assumption on functions.