Fix VerifyError.

If the last statement in a function is not a return statement, add a default
return statement. Otherwise, jump or branch target can be illegal.