fn witness_value<F: AcirField>( w: &Witness, witness_map: &WitnessMap<F>, ) -> Result<F, OpcodeResolutionError<F>>