Some bug fixing:
- fixing a crash on 10v10 replays - fixing a crash occurring sometimes when switching to a "Random" deck in a theme-contrained game - landing troops are correctly erased from naval decks, if they happen to be by any cheat of legacy from old deck system