Open your eyes...
For Android, Dominionation should fit the bill as well.
Dominion Shuffle doesn't seem to, but I've always just rolled a d5 and made it a 20% chance of that anyways.
Dominion Shuffle has always supported the setup rules for Colony/Platinum/Shelters. Unfortunately, it looks like the app was pulled from the Google Play Store. You'll have to download the app from elsewhere and manually install it.