Added program counter, refactored tests, refactored debugging wrappers