Avoid loss of sharing when pushing bitvector equality under conditional

[chameco]

I was encountering a case where this rule was exploding performance, so I added a check for constant branches in a manner similar to other rules. I'm unsure if this is the right thing to do in general - in the longer term, it might be neat to have some way of selectively enabling/disabling rules.