Halting problem is literally that the program will halt. That's not provable, even if you offer it on rentacoder.com.

JVM bytecode, .NET CLR bytecode, NACL bytecode are all verified as containing no illegal API calls. That's completely different. And its completely possible.