Add arbitraryBV

[lsrcz]

This pull request adds the arbitraryBV function that returns a generator for a SomeBV with run-time specified bitwidth.

[codecov]

Codecov Report

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

Project coverage is 58.55%. Comparing base (7471a70) to head (408cc7d).

Files	Patch %	Lines
src/Grisette/Core/Data/SomeBV.hs	33.33%	1 Missing and 7 partials ⚠️
src/Grisette/Utils/Parameterized.hs	83.33%	0 Missing and 1 partial ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #177      +/-   ##
==========================================
- Coverage   58.61%   58.55%   -0.06%     
==========================================
  Files          70       70              
  Lines        5809     5813       +4     
  Branches      481      486       +5     
==========================================
- Hits         3405     3404       -1     
  Misses       1923     1923              
- Partials      481      486       +5     

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