Implement a non-recursive solution for discharge values for evaluate.

[MicroProofs]

The last bit of recursion we have is in the discharge value and discharge value env functions. To have a truly good performance with evaluate we should remove any recursion and replace with stack machines and looping as required.