Removed stack from ACL2ConvertCPS.  Termination working well.  Testcases builds and proves theorems on Ivory functions.