Function halve_mod_p 

fn halve_mod_p(a: FieldElement) -> FieldElement

Halves a field element modulo p.

Computes a / 2 mod p. If a is odd, adds p first to make it even, then shifts right.