Issue 182, 205, 238: Scalars with size greater than 57 bit

[treiher]

Summary

• Use modular integer with No_Wrap_Around as base type for all scalar types
• Increase size restrictions in model
• Rewrite conversion functions to allow up to 64-bit scalar types
• Remove all False_Positive annotations
• Remove lemmas package and thus dependency to big numbers library

Closes #182
Closes #205
Closes #238

[codecov]

Codecov Report

Merging #294 into develop will decrease coverage by 0.04%.
The diff coverage is 100.00%.

@@             Coverage Diff             @@
##           develop     #294      +/-   ##
===========================================
- Coverage    97.74%   97.69%   -0.05%     
===========================================
  Files           24       24              
  Lines         4083     4082       -1     
  Branches       678      678              
===========================================
- Hits          3991     3988       -3     
- Misses          52       53       +1     
- Partials        40       41       +1     

Impacted Files	Coverage Δ
rflx/generator/core.py	98.26% <ø> (-0.39%)	⬇️
rflx/generator/generator.py	98.18% <ø> (ø)
rflx/ada.py	96.93% <100.00%> (ø)
rflx/generator/const.py	100.00% <100.00%> (ø)
rflx/generator/parser.py	97.43% <100.00%> (-0.10%)	⬇️
rflx/model.py	99.49% <100.00%> (+<0.01%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 74c6ce6...5b4d934. Read the comment docs.

[jklmnn]

I'm not sure if RFLX_Utils is a good name for the package. Maybe RFLX_Bitops would be better (although I have to admit that the mod operation doesn't exactly fit into bitops).