I've got a MacBook Air and the softwares used by my uni to simulate HDL programs aren't compatible on macOS. Does it make more sense to create a local linux VM, or dual boot, or install the simulators on a cloud linux VM?