Analyzer: use a reference provided by the arch for the return PC, instead of assuming it's always on the top of the stack.