Add support for exact division

[andrewwhitehead]

This adds div_exact and div_exact_vartime methods for Uint, BoxedUint, and Limb. There is currently no trait support.

For cases where it applies, exact division can be much faster than div/rem. In my tests this is about 40% faster for a 4096-bit BoxedUint.

The algorithm is similar to DivideByWord in Modern Computer Arithmetic but I don't have a reference for the adjustments to support a multi-word divisor.

[codecov]

Codecov Report

❌ Patch coverage is 99.49495% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 90.99%. Comparing base (9bda2fd) to head (c9fb8b6).

Files with missing lines	Patch %	Lines
src/uint/ref_type/div.rs	98.92%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1256      +/-   ##
==========================================
+ Coverage   90.91%   90.99%   +0.08%     
==========================================
  Files         188      189       +1     
  Lines       21965    22139     +174     
==========================================
+ Hits        19969    20146     +177     
+ Misses       1996     1993       -3     

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[andrewwhitehead]

This just needs to be rebased on #1257 which is a separate issue.