Adds a test for a separate proof validity case, where the proofs
provided are correct relative to the state witness' merkle root, but
correspond to a separate leaf that does not contain the desired program
counter address or memory address read by the instruction.