Add is_real functionality for factorial, Fix issue #8658

Factorial function don't have the is_real functionality (check or real) to check this Assumption.
factorial(x) is not known to be real when  'x' is non-negative.

With this PR, user can check if the given factorial is real or not.
Fixes #8658 

Fixed.
That's exactly what I was looking for.
Thanks!