Fuzzing para-virtualized devices in Hyper-V