Noreturn

Added noreturn attribute to couple of functions that  never return. This enables the compiler to do better codegen and points out unneeded code when combined with unreachable.