Update kodkod/alloy to versions with minisat random seed.