Ensure that models are always constructed in the same way

Searching for a model tends to return different linear combinations of terms over different runs. We should improve on that, so that model construction is reproducible.

At worst, we should control the rng sources and require a seed.