Function check_value 

fn check_value(
    catalog: &Catalog,
    document: &str,
    schema: &Schema,
    value: &Value,
    path: &str,
    depth: usize,
) -> Result<(), InvalidRecord>

The recursive step.