Improve the partial evaluation for bit vectors

[lsrcz]

This pull request makes the partial evaluation for bit vectors better. It tries to concatenate the adjacent concrete bit vectors together by maintaining a canonical form and tries to eliminate the select operations if they are selecting on partially concrete vectors.

[codecov]

Codecov Report

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

Project coverage is 58.56%. Comparing base (c59feba) to head (0a5928a).

❗ Current head 0a5928a differs from pull request most recent head be0048d. Consider uploading reports for the commit be0048d to get more accurate results

Files	Patch %	Lines
...rc/Grisette/IR/SymPrim/Data/Prim/PartialEval/BV.hs	86.62%	0 Missing and 23 partials ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #176      +/-   ##
==========================================
+ Coverage   57.24%   58.56%   +1.32%     
==========================================
  Files          70       70              
  Lines        5641     5809     +168     
  Branches      459      484      +25     
==========================================
+ Hits         3229     3402     +173     
+ Misses       1953     1923      -30     
- Partials      459      484      +25     

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