Assumptions

A few commits fixing some issues I noticed with assumptions (see commit messages).

Fixes issue 2486: S.Zero.is_finite == False
http://code.google.com/p/sympy/issues/detail?id=2486

Fixes issue 3564: Set.contains() throws AttributeError
http://code.google.com/p/sympy/issues/detail?id=3564