Test uncertainty calibration procedure for probabilistic linear solvers more thoroughly

[JonathanWenger]

Currently the scale of the uncertainty calibration for probabilistic linear solvers isn't tested thoroughly enough. In particular the following tests could be added or expanded upon.

• [ ] Uncertainty in the already explored space span(S) and span(Y) of the solver should be zero even for the uncertainty calibration prior class.
• [ ] ...