If you use warm spare then yes you will run VRRP. On Meraki you don't need separate IP's in their VRRP deployment. You only define the used IP and that's it.
I also go with Philip and ask why you still want to use a classic switching design instead of the simplified campus architecture using stacked (physical or virtual) switches.
We know the MS425 is going EOS soon so if you would need stacking on switches that are remote then you would need to use the C9500 switches with perhaps Meraki monitoring to get this to work. Else C9300 core's or any MS2x, 3x will do the trick for local physical stacking.