perf: avoid multiple calls to read same self.PC (#1527)
perf: avoid multiple calls to read same self.PC (#1527)

* perf: avoid multiple calls to read same self.PC

* refresh PC value once

trailofbits/manticore,trailofbits/manticore,montyly/manticore,trailofbits/manticore,montyly/manticore