Function decode_point 

pub fn decode_point(bytes: &[u8; 32]) -> Option<Ext>

Strict point decoding: canonical y, a square root exists, and not the x = 0 encoding with the sign bit set. Same rules as the strict verifier of rhdl_ed25519_fast_core.