Added "extra recursion bound" to FixedpointVC to support Corral.
Merge FixpointVC changes with mainline
Merge some FixpointVC changes that got left behind
Reverted a change to CreateTempVariable for FixedPointVC only.