[Feature] Create local data commitment check during compilation about leo HOT 1 CLOSED

    [[public]]

    [state]
    leaf_index: u32 = 0;
    root: u8[32] = [0u8; 32];

    [[private]]

    [record]
    serial_number: u8[32] = [0u8; 32];
    commitment: u8[32] = [0u8; 32];
    owner: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
    value: u64 = 5;
    payload: u8[32] = [0u8; 32];
    birth_program_id: u8[32] = [0u8; 32];
    death_program_id: u8[32] = [0u8; 32];
    serial_number_nonce: u8[32] = [0u8; 32];
    commitment_randomness: u8[32] = [0u8; 32];

    [state_leaf]
    path: u8[32][2] = [ [0u8; 32], [0u8; 32] ];
    memo: u8[32] = [0u8; 32];
    network_id: u8 = 0;
    leaf_randomness: u8[32] = [0u8; 32];

    let commitment = Commit(
        record.owner,
        record.value,
        record.payload,
        false,    // set is_dummy to false
        record.birth_program_id,
        record.death_program_id,
        record.serial_number_nonce,
        record.commitment_randomness,
    );

    record.commitment == commitment

    let local_data_root = MerklePath(
        state.leaf_index,
        commitment,
        state_leaf.memo,
        state_leaf.network_id,
        state_leaf.leaf_randomness,
        state_leaf.path
    )

    state.root == local_data_root