Function detect_proof_type 

pub fn detect_proof_type(bytes: &[u8]) -> Option<ProofType>

Detect the proof type from the first byte (version tag).

Returns None if the tag byte is unrecognized or the slice is empty.