fix type in sets_translate
fix option alias (minor)
improvements to sets sharing

* Add TheorySets::getEqualityStatus(TNode, TNode)
* Add TheorySets::getModelValue(TNode)
remove some debugging code

(it can be brought back from version control, if needed)