Function write_arbos_storage 

pub fn write_arbos_storage<D: Database>(
    state: &mut State<D>,
    slot: U256,
    value: U256,
)

Writes a storage slot to the ArbOS account using the transition mechanism.

This ensures changes survive merge_transitions() and are properly journaled. Skips no-op writes where value == current value.