Evaluate all polynomials

[mimoo]

@imeckler mentioned that evaluating all polynomials in kimchi would actually make recursion more efficient (at the cost of slightly larger proofs).

This is something we should investigate.