Inserted post-condition checks, supports both asm and cps compilation (cps compilation incomplete), factorial 2 passes, but factorial 3 fails, remove alpha convert, moved stack operations (save/restore) to cps.