verif: convert the debug controller to a VPI model.

This VPI model just single steps the simulation.  The next step is to
add a socket to the VPI model so that we can connect it to a debugger.