Abstract additional things in pyvm2 and the abstract interpreter: UNPACK_SEQUENCE, slices, and imports.
Make reverse_operator_name only reverse operators that have a reverse.
Fix tests so they work in the exported version of the codebase.