Add a symbolic equality check

[daemontus]

We could really use equality checks on symbolic sets aside from the current is_subset method. Also a macro like this could be nice:

#[macro_export]
macro_rules! assert_symbolic_eq {
    ($x:expr, $y:expr) => {
        assert!($x.iff(&$y).is_true())
    }
}