Adding more tests.

Fixed bug in meet, join, and widening that caused extra bdd variables to
leak into the result.