Some many years ago there was a commercial product called Jinx debugger [1]. I think I only ever got to kick the tires and find out I couldn't get the hypervisor to run on my machine.
Good to see Meta making more practical Open Source tools like this (and BOLT).