Function truncate_vrf_output 

fn truncate_vrf_output(output: Fp, w: &mut Witness<Fp>) -> Box<[bool; 253]>