fixing bv ackermanization cache bug
fixed unit tests failures
Merge pull request #31 from kbansal/sets

Sets
Revert "disable failing test"

This reverts commit 5c6ff89fcf42a163a8a8c96d070d30bcc7c86593.