Shift by symbolic

[lsrcz]

This pull request adds support for symbolic shifting and rotation where the shifting or rotation amount is symbolic. Resolves #107.

[codecov]

Codecov Report

Attention: 98 lines in your changes are missing coverage. Please review.

Files	Coverage Δ
src/Grisette/Core/Data/BV.hs	38.40% <100.00%> (+0.56%)	⬆️
...IR/SymPrim/Data/Prim/InternedTerm/InternedCtors.hs	90.90% <100.00%> (+0.34%)	⬆️
src/Grisette/Backend/SBV/Data/SMT/Lowering.hs	42.81% <87.50%> (+2.16%)	⬆️
...SymPrim/Data/Prim/InternedTerm/TermSubstitution.hs	28.84% <0.00%> (-1.16%)	⬇️
src/Grisette/IR/SymPrim/Data/Prim/Model.hs	50.97% <0.00%> (-0.50%)	⬇️
src/Grisette/IR/SymPrim/Data/SymPrim.hs	27.75% <84.61%> (+10.76%)	⬆️
...Grisette/IR/SymPrim/Data/Prim/InternedTerm/Term.hs	51.81% <66.66%> (+0.44%)	⬆️
src/Grisette/Core/Data/Class/SafeSymRotate.hs	76.31% <76.31%> (ø)
src/Grisette/Core/Data/Class/SymRotate.hs	59.09% <59.09%> (ø)
.../Grisette/IR/SymPrim/Data/Prim/PartialEval/Bits.hs	84.61% <79.06%> (-2.89%)	⬇️
... and 3 more

... and 1 file with indirect coverage changes

📢 Thoughts on this report? Let us know!