Refine SetSize and remove some immediate methods

[fingolfin]

The removed methods mostly were already obsolete due to the custom SetSize. Only the "non emptiness" was not recorded right, which the new code in SetSize now handles.

Immediate methods are always a bit problematic because they slow down things. We added the custom SetSize (and SetDimension) precisely to reduce the need for some of these, but it seems we then did not remove all the now obsolete methods.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 78.62%. Comparing base (5fbcf41) to head (3670347).

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #6347   +/-   ##
=======================================
  Coverage   78.62%   78.62%           
=======================================
  Files         684      684           
  Lines      292701   292691   -10     
  Branches     8686     8660   -26     
=======================================
- Hits       230147   230142    -5     
+ Misses      60744    60741    -3     
+ Partials     1810     1808    -2     

☔ 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.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[fingolfin]

This removal might be considered somewhat borderline, because it triggers on HasIsFiniteDimensional, not on HasDimension (were our SetDimension already took care). But realistically, the set of code that does SetIsFiniteDimensional(V, false) and also relies on this kind of IsFinite immediate method is hopefully empty. (And besides, why not use SetDimension(V, infinity) instead and solve this and more in one go)

[ThomasBreuer]

Looks good.
(First I stumbled over the different handling for the filters IsTrivial, IsNonTrivial, but this is fine because of the logical implications that connect them.)

I would say that immediate methods are problematic in particular because one can switch them off. Thus one cannot rely on that they will do what one expects.