Karn Liberated restarting the game ability doesn't un-transform deafeated battles before making library

[[Karn Liberated]] -14 ability will shuffle a defated [[invasion of Tolvada]] as an uncastable double-face The Broken Sky on both sides.

Start by reproducing Karn Liberated's -14 ability with a defeated Invasion of Tolvada, checking how the card is transformed before it is shuffled into the library. Trace the card-state handling for both faces and verify that the resulting library card is castable and has the expected face state.

Written by the indexing model from the issue text.