Bump Nemo to 0.46, 0.47, drop 0.45

[sumiya11]

Drop 0.45 since Nemo <0.45.4 is incompatible with Groebner 0.8.

close #1277 #1278

[codecov-commenter]

⚠️ Please install the to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 78.98%. Comparing base (e036266) to head (e463c6b).
Report is 35 commits behind head on master.

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@             Coverage Diff             @@
##           master    #1327       +/-   ##
===========================================
+ Coverage    3.80%   78.98%   +75.18%     
===========================================
  Files          47       47               
  Lines        4602     4707      +105     
===========================================
+ Hits          175     3718     +3543     
+ Misses       4427      989     -3438     

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