Add a seed policy and wire existing seeding tools.

Can be heavily simplified if implementation of model seeding
does not require anything fancier than a seed integer.