Function assert_strictly_increasing 

pub fn assert_strictly_increasing<P: Copy + Ord + Debug>(
    positions: &[(P, Vec<u8>)],
)

Assert positions strictly increase (monotonic, no duplicate).