fix(lez): update programs for diff_data's move to Data

Rebasing onto marvin/incremental-updates-1's AccountDiff.diff_data:
Option<Data> change (was Option<Vec<u8>>) needed real fixes, not just a
mechanical rebase: every program's update_from_diff and every
diff_data-constructing call site was still written against the old
Vec<u8> shape. Several sites were doing a pointless Data -> Vec<u8> ->
Data round trip to satisfy the old field type; those now just pass the
Data value straight through. The host-side
execute_update_from_diff/prove_update_from_diff/write_update_from_diff_inputs
in lee/state_machine move to Data too, matching what now flows from
lee_core.

test_programs/guest/src/bin/pinata_cooldown.rs

@@ -103,7 +103,7 @@ fn main() {
     let updated_data: Data = updated_state
         .to_bytes()
         .try_into()
-        .expect("pinata state fits in account data");
+        .expect("pinata account data always fits under DATA_MAX_LENGTH");
 
     let pinata_post = AccountDiffOutput::new_claimed_if_default(
         AccountDiff {