scripts mir_to_dot - Tweak handling of `switch` (from debugging codegen errors)
scripts mir_to_dot - Tweak handling of `switch` (from debugging codegen errors)

thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc