Represent computations explicitly as polynomials

[rbharath]

At present, computations are implicitly constructed as polynomials in the step_fn objects. It would be pretty useful to store these polynomials explicitly. This would aid in computing the degree of the constraint for use in STARK parameter setting and in the AIR->APR transform as well.