on_time_slot
beacon_state
should be transitioned.
process_crosslinks
verify_empty_shard_transition
process_shard_transitions