Allow equality test for SomeBV with different bit widths

[lsrcz]

The equality testing for SomeBV will now return false instead of throwing an exception when the bit widths are different.

This is

• well defined, and
• very commonly used.

Other binary operators will continue to throw an BitwidthMismatch exception when the bit widths does not match.

[codecov]

Codecov Report

Attention: Patch coverage is 75.00000% with 4 lines in your changes are missing coverage. Please review.

Project coverage is 58.93%. Comparing base (71a5fce) to head (efc310a).

Files	Patch %	Lines
src/Grisette/Internal/SymPrim/SomeBV.hs	75.00%	0 Missing and 4 partials ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #200      +/-   ##
==========================================
+ Coverage   58.87%   58.93%   +0.05%     
==========================================
  Files          78       78              
  Lines        6551     6563      +12     
  Branches      626      630       +4     
==========================================
+ Hits         3857     3868      +11     
+ Misses       2068     2065       -3     
- Partials      626      630       +4     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.