Sanitize assumptions on symbols.

Convert assumptions to bool (this needs to happen before caching).

Fixes issue 3567: Sanitize FactKB
http://code.google.com/p/sympy/issues/detail?id=3567