GUI for the verification facility.
@since Ptolemy II 7.1