[python-bindings] Fixed 3 test failures caused by typos.
Rename variables for consistency.

No functional change.
[python-bindings] Added test for reading a module from bitcode.
[python-bindings] Export OpCode from core.py.