Add a noreturn attribute to MCAssert and MCUnreachable

This hint makes the static analysis function of certain compilers more useful.