You must decide first-hand on what Alk level you want your tank to be sitting at in the long term. The Coral Pro mixes at a rather high DKH of around 11-12dKH. The Red Sea Blue bucket mixes at around 8dKH. Depends on what you intend to stock up and your goals really.
I'm using the Red Sea Blue bucket and my tank is running around 8.5-8.7dKH. Nicely matched when doing water changes and less prone to instability issues.
For me I don't store my saltwater for long(space issues), so I don't really face the dirty mix here that many are commenting on the Red Sea salts. I mix a fresh batch just before a water change and clean my container soon after.
As per your question of starting out with cheaper salt for cycling, IMO its easier to just start off with the one that you planned to use in the long term. This is to prevent issues or parameters swings when doing water changes. Until you can fully understand and get the hang of controlling your params, switching salt brands is easy.