Fix BV inequality solver caching.
BV inequality graph TNode fix.
Merge pull request #65 from mdeters/bv-ineq-cachefix

Fix BV inequality solver caching, and TNode fix.