Simplify control flow when exiting the interpreter. by markshannon · Pull Request #17756 · python/cpython

Skip the stack emptying step for RETURN_VALUE, as the compiler now ensures that the stack is empty.

Remove test that generates invalid bytecode.
Maybe we should have a bytecode verifier, but that's not the job of the interpreter.

No change in behaviour, so no news or BPO issue needed.