impl ReturnStmtNode typeCheck() for RET_VAL_MISSING and RET_VAL_IN_VOID_FN
added tests for RET_VAL_MISSING and RET_VAL_IN_VOID_FN, caught