Rework `Shard transition processing`
process_crosslinks
verify_empty_shard_transition
process_shard_transitions