Stricter Macro

Make assert/assume macro to only perform expansion when the operator is one of ==, !=, ===, !==.