pub fn update_action_state<Z: ZkappApplication>(
action_state: &[Fp; 5],
actions: &Actions,
txn_global_slot: Z::GlobalSlotSinceGenesis,
last_action_slot: Z::GlobalSlotSinceGenesis,
w: &mut Z::WitnessGenerator,
) -> ([Fp; 5], <Z as ZkappApplication>::GlobalSlotSinceGenesis)