Add unit test to support change to Replica.verify