> ...alt-tabbing doesn't lag (it did on my Intel-based MacBook Pro 2019), ...

Yeah, unfortunately this is by design. cmd-tab behaves different depending on how long you hold the cmd or tab key.

cmd-~ is instant, and with stage manager it switches through apps. He could've also just installed windows arm preview on the M1, or asahi