Add symShiftNegated and symRotateNegated

[lsrcz]

The asymmetricity of the range of integral values is making the symShift interface hard to use, especially for unsigned types. This pull request adds negated versions symShiftNegated and symRotateNegated that shifts or rotate in the opposite direction.

[codecov]

Codecov Report

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

Project coverage is 58.28%. Comparing base (9494142) to head (3b8381c).

Files	Patch %	Lines
src/Grisette/IR/SymPrim/Data/SymPrim.hs	39.47%	19 Missing and 4 partials ⚠️
src/Grisette/Core/Data/Class/SymShift.hs	18.18%	0 Missing and 18 partials ⚠️
src/Grisette/Core/Data/Class/SymRotate.hs	58.82%	0 Missing and 7 partials ⚠️
src/Grisette/Core/Data/SomeBV.hs	0.00%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #181      +/-   ##
==========================================
- Coverage   58.52%   58.28%   -0.25%     
==========================================
  Files          70       70              
  Lines        5816     5880      +64     
  Branches      488      508      +20     
==========================================
+ Hits         3404     3427      +23     
- Misses       1924     1945      +21     
- Partials      488      508      +20     

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