Hi Frederick,
verification failure is not a problem. this is because the header information in VidorGraphics.cpp is not updated for this bitstream however it should run anyway.
once loaded what happens if you just reset the board and open the terminal?