Fix the 64k insns overflow check in ghci, and add more checks