JIT on very low-level languages is not a new concept; it's exactly what LLVM does. But of course, GC for all LLVM assemblies would be interesting.

(This also sort of exists: http://llvm.org/docs/GarbageCollection.html)