* verify-impl.c (verify_instructions_0) <op_return>: Special case