./miri.bat silently exits unconditionally #3714
Description
#3703 appears to cause ./miri.bat to unconditionally exit even if the stable toolchain is installed.
Not a batch expert, but based on Powershell, & would be fork, not "do this after"
&& seems to fix it, PR to follow.