replace static_assert include
[linearelliptic.problems.default] make available for the provider
[linearelliptic.estimators.block-swipdg] add parameter range

This is used to determine the minimal diffusion on an entity.