Function verify_pda_strict 

pub fn verify_pda_strict(
    expected: &Address,
    seeds: &[&[u8]],
    program_id: &Address,
) -> Result<(), ProgramError>

Verify that a raw address matches a PDA derived from the given seeds.

Uses the same verify-only sha256 loop as find_and_verify_pda.