pasim: Fixed tests to check for changed PC value after a halt