Fix SMGEdgeHasValueFilter#overlapsWith

Filter should be symmetric* and reflexive. (* But zero edges can 'contain' zero edges of smaller bitsize.)

FIX: Overlap filter is not symmetric. ADD: unit tests for the filter.