Revert a8e0ce67 and add test case (resolves bug #578).

This reverts commit a8e0ce673ba00533a663804cf74500e4d9a3a5cb.
Making getEqualityStatus more powerful for bit-vector theory.
fixing caching for getEqualityStatus for bv