Virtualization.framework isn't particularly limited, for what it is... given they're using Firecracker on Linux, it makes sense to use a similarly high level API on macOS.

(One could add a Hypervisor.framework backend to Firecracker, though I'd be surprised if AWS accepted it.)