Verify a Falcon-512 signature.
public_key - 897-byte Falcon-512 public keymessage - Message that was signed, up to FALCON_MAX_MESSAGE_SIZE bytessignature - Falcon signature (compressed or padded format)true if the signature is valid, false otherwise.Returns false for any oversized input rather than silently truncating.
fn verify(
env: soroban_sdk::Env,
public_key: soroban_sdk::Bytes,
message: soroban_sdk::Bytes,
signature: soroban_sdk::Bytes,
) -> bool