Settable predicate arities for random formulas.

This makes random formulas usable for evaluation testing.