Part of a more general things to validate bytecode. Some discussion is in https://github.com/rocky/python-uncompyle6/issues/320 See also rocky/python-xdis#59