pub fn is_valid_witness_program_length( length: usize, witness_version: Fe32, ) -> bool
Returns true if length represents a valid witness program length for witness_version.
length
witness_version