Warning removal pass, plus possible non-threaded RTS fix.
Warning removal pass, plus possible non-threaded RTS fix.

ggkitsas/HaLVM,GaloisInc/HaLVM,GaloisInc/HaLVM,ggkitsas/HaLVM,ggkitsas/HaLVM,GaloisInc/HaLVM