Function require_uint 

fn require_uint(
    pairs: &[(Value, Value)],
    key: &str,
) -> Result<u64, MoqTraceError>